Bob is blue. Bob is smart. Fiona is cold. If Bob is round and Bob is not cold then Bob is not furry. Blue things are round. Cold things are big. Big things are rough. All rough, big things are smart. If Fiona is cold then Fiona is not round.
Bob is rough.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Fiona is cold.[(triple3)] @1: Bob is round.[(((triple1) -> rule2))] Fiona is big.[(((triple3) -> rule3))] Fiona is not round.[(((triple3) -> rule6))] @2: Fiona is rough.[(((((triple3) -> rule3)) -> rule4))] @3: Fiona is smart.[(((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule5))]