Anne is nice. Anne is quiet. Anne is smart. Dave is nice. Dave is red. Dave is smart. Dave is young. If someone is young and round then they are cold. If Dave is smart and Dave is young then Dave is round. Young, round people are cold. Nice, smart people are quiet. If someone is red then they are quiet. If Anne is young then Anne is cold.
Anne is not cold.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2 OR ((triple1 triple3) -> rule4))] Anne is smart.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] @1: Dave is quiet.[(((triple5) -> rule5) OR ((triple4 triple6) -> rule4))] Dave is round.[(((triple6 triple7) -> rule2))] @2: Dave is cold.[(((triple7 ((triple6 triple7) -> rule2)) -> rule1) OR ((triple7 ((triple6 triple7) -> rule2)) -> rule3))]