Anne is red. Dave is rough. Fiona is round. Harry is nice. Big things are smart. Rough things are cold. All nice things are red. All red things are smart. If something is red and nice then it is big. If Dave is big and Dave is red then Dave is smart. If something is red then it is rough. All round things are big.
Harry is cold.
@0: Anne is red.[(triple1)] Dave is rough.[(triple2)] Fiona is round.[(triple3)] Harry is nice.[(triple4)] @1: Anne is rough.[(((triple1) -> rule7))] Anne is smart.[(((triple1) -> rule4))] Dave is cold.[(((triple2) -> rule2))] Fiona is big.[(((triple3) -> rule8))] Harry is red.[(((triple4) -> rule3))] @2: Anne is cold.[(((((triple1) -> rule7)) -> rule2))] Fiona is smart.[(((((triple3) -> rule8)) -> rule1))] Harry is big.[(((((triple4) -> rule3) triple4) -> rule5))] Harry is rough.[(((((triple4) -> rule3)) -> rule7))] Harry is smart.[(((((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) triple4) -> rule5)) -> rule1))] @3: Harry is cold.[(((((((triple4) -> rule3)) -> rule7)) -> rule2))]