Dave is cold. Dave is nice. Dave is rough. Erin is nice. Erin is rough. Fiona is nice. Harry is cold. Quiet, green things are rough. If something is quiet and furry then it is big. If something is cold then it is green. Big, cold things are rough. Green things are quiet. Nice, quiet things are rough.
Harry is not rough.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3 OR ((triple2 ((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1))] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Fiona is nice.[(triple6)] Harry is cold.[(triple7)] @1: Dave is green.[(((triple1) -> rule3))] Harry is green.[(((triple7) -> rule3))] @2: Dave is quiet.[(((((triple1) -> rule3)) -> rule5))] Harry is quiet.[(((((triple7) -> rule3)) -> rule5))] @3: Harry is rough.[(((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule1))]