Bob is blue. Fiona is blue. Harry is smart. If Harry is big and Harry is quiet then Harry is rough. If something is smart and blue then it is rough. If something is smart then it is big. All rough things are blue. Rough things are quiet. If something is blue then it is smart.
Fiona is smart.
@0: Bob is blue.[(triple1)] Fiona is blue.[(triple2)] Harry is smart.[(triple3)] @1: Bob is smart.[(((triple1) -> rule6))] Fiona is smart.[(((triple2) -> rule6))] Harry is big.[(((triple3) -> rule3))] @2: Bob is big.[(((((triple1) -> rule6)) -> rule3))] Bob is rough.[(((((triple1) -> rule6) triple1) -> rule2))] Fiona is big.[(((((triple2) -> rule6)) -> rule3))] Fiona is rough.[(((((triple2) -> rule6) triple2) -> rule2))] @3: Bob is quiet.[(((((((triple1) -> rule6) triple1) -> rule2)) -> rule5))] Fiona is quiet.[(((((((triple2) -> rule6) triple2) -> rule2)) -> rule5))]