Charlie is young. Fiona is rough. Harry is red. Red things are smart. If Fiona is smart then Fiona is young. If something is smart then it is red. All rough things are red. All quiet things are young. If something is smart then it is rough. If Fiona is red and Fiona is rough then Fiona is cold. Cold, quiet things are big.
Harry is cold.
@0: Charlie is young.[(triple1)] Fiona is rough.[(triple2)] Harry is red.[(triple3)] @1: Fiona is red.[(((triple2) -> rule4))] Harry is smart.[(((triple3) -> rule1))] @2: Fiona is cold.[(((((triple2) -> rule4) triple2) -> rule7))] Fiona is smart.[(((((triple2) -> rule4)) -> rule1))] Harry is rough.[(((((triple3) -> rule1)) -> rule6))] @3: Fiona is young.[(((((((triple2) -> rule4)) -> rule1)) -> rule2))]