Charlie is young. Dave is nice. Erin is rough. Fiona is smart. All blue, rough things are cold. If something is nice then it is rough. Smart, cold things are rough. If Charlie is smart then Charlie is blue. Smart, rough things are young. Smart things are cold. If Dave is young and Dave is nice then Dave is cold. If something is rough and nice then it is smart.
Charlie is cold.
@0: Charlie is young.[(triple1)] Dave is nice.[(triple2)] Erin is rough.[(triple3)] Fiona is smart.[(triple4)] @1: Dave is rough.[(((triple2) -> rule2))] Fiona is cold.[(((triple4) -> rule6))] @2: Dave is smart.[(((((triple2) -> rule2) triple2) -> rule8))] Fiona is rough.[(((triple4 ((triple4) -> rule6)) -> rule3))] @3: Dave is cold.[(((((((triple2) -> rule2) triple2) -> rule8)) -> rule6) OR ((((((((triple2) -> rule2) triple2) -> rule8) ((triple2) -> rule2)) -> rule5) triple2) -> rule7))] Dave is young.[(((((((triple2) -> rule2) triple2) -> rule8) ((triple2) -> rule2)) -> rule5))] Fiona is young.[(((triple4 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5))]