Bob is blue. Bob is cold. Bob is quiet. Bob is round. Dave is nice. Dave is quiet. Dave is smart. If someone is big and smart then they are blue. All quiet, cold people are nice. If someone is smart and quiet then they are cold.
Dave is big.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Dave is nice.[(triple5 OR ((triple6 ((triple7 triple6) -> rule3)) -> rule2))] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] @1: Bob is nice.[(((triple3 triple2) -> rule2))] Dave is cold.[(((triple7 triple6) -> rule3))]