Dave is blue. Dave is red. Dave is smart. All cold things are rough. If something is red then it is blue. All blue, smart things are red. Rough, blue things are round. Smart, blue things are cold. Blue things are red.
Dave is not cold.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule2))] Dave is red.[(triple2 OR ((triple1) -> rule6) OR ((triple1 triple3) -> rule3))] Dave is smart.[(triple3)] @1: Dave is cold.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple2) -> rule2)) -> rule5))] @2: Dave is rough.[(((((triple3 triple1) -> rule5)) -> rule1) OR ((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule1))] @3: Dave is round.[(((((((triple3 triple1) -> rule5)) -> rule1) triple1) -> rule4) OR ((((((triple3 triple1) -> rule5)) -> rule1) ((triple2) -> rule2)) -> rule4) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule1) triple1) -> rule4) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule1) ((triple2) -> rule2)) -> rule4))]