Bob is round. Dave is round. Fiona is white. Harry is cold. If something is young and furry then it is white. All red things are round. Round, cold things are rough. If something is furry and cold then it is young. If something is rough then it is red. All rough things are white. Cold things are round. Young, white things are rough.
Fiona is not cold.
@0: Bob is round.[(triple1)] Dave is round.[(triple2)] Fiona is white.[(triple3)] Harry is cold.[(triple4)] @1: Harry is round.[(((triple4) -> rule7))] @2: Harry is rough.[(((((triple4) -> rule7) triple4) -> rule3))] @3: Harry is red.[(((((((triple4) -> rule7) triple4) -> rule3)) -> rule5))] Harry is white.[(((((((triple4) -> rule7) triple4) -> rule3)) -> rule6))]