Fiona is red. Harry is red. Harry is rough. All red things are smart. If something is furry and round then it is not kind. If something is smart then it is rough. Cold things are not red. Red things are not round. All rough, smart things are furry.
Fiona is round.
@0: Fiona is red.[(triple1)] Harry is red.[(triple2)] Harry is rough.[(triple3 OR ((((triple2) -> rule1)) -> rule3))] @1: Fiona is not round.[(((triple1) -> rule5))] Fiona is smart.[(((triple1) -> rule1))] Harry is not round.[(((triple2) -> rule5))] Harry is smart.[(((triple2) -> rule1))] @2: Fiona is rough.[(((((triple1) -> rule1)) -> rule3))] Harry is furry.[(((triple3 ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule6))] @3: Fiona is furry.[(((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule6))]