Bob is cold. Bob is green. Charlie is red. Charlie is rough. Dave is cold. Dave is green. Dave is quiet. All green things are round. Smart things are red. All green, cold things are smart. If something is red then it is quiet. Red, green things are cold. If something is rough then it is green.
Dave is not rough.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is quiet.[(triple7 OR ((((((triple6 triple5) -> rule3)) -> rule2)) -> rule4))] @1: Bob is round.[(((triple2) -> rule1))] Bob is smart.[(((triple2 triple1) -> rule3))] Charlie is green.[(((triple4) -> rule6))] Charlie is quiet.[(((triple3) -> rule4))] Dave is round.[(((triple6) -> rule1))] Dave is smart.[(((triple6 triple5) -> rule3))] @2: Bob is red.[(((((triple2 triple1) -> rule3)) -> rule2))] Charlie is cold.[(((triple3 ((triple4) -> rule6)) -> rule5))] Charlie is round.[(((((triple4) -> rule6)) -> rule1))] Dave is red.[(((((triple6 triple5) -> rule3)) -> rule2))] @3: Bob is quiet.[(((((((triple2 triple1) -> rule3)) -> rule2)) -> rule4))] Charlie is smart.[(((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule3))]