Anne is quiet. Anne is white. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Dave is kind. Dave is nice. If someone is cold and nice then they are quiet. If Anne is rough then Anne is white. All cold, rough people are round. All nice, round people are white. Kind, round people are rough. All rough, kind people are cold.
Anne is not round.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple3 triple4) -> rule1))] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple3 triple6) -> rule3))] Bob is white.[(triple8 OR ((triple4 triple7) -> rule4) OR ((triple4 ((triple3 triple6) -> rule3)) -> rule4))] Dave is kind.[(triple9)] Dave is nice.[(triple10)]