Anne is cold. Anne is nice. Anne is quiet. Anne is white. Charlie is quiet. Dave is furry. Fiona is cold. If something is furry then it is quiet. All blue things are white. Nice, cold things are furry. If something is white and furry then it is rough. Blue, quiet things are furry. Nice, quiet things are white.
Anne is cold.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((((triple2 triple1) -> rule3)) -> rule1))] Anne is white.[(triple4 OR ((triple2 triple3) -> rule6) OR ((triple2 ((((triple2 triple1) -> rule3)) -> rule1)) -> rule6))] Charlie is quiet.[(triple5)] Dave is furry.[(triple6)] Fiona is cold.[(triple7)] @1: Anne is furry.[(((triple2 triple1) -> rule3))] Dave is quiet.[(((triple6) -> rule1))] @2: Anne is rough.[(((triple4 ((triple2 triple1) -> rule3)) -> rule4) OR ((((triple2 triple3) -> rule6) ((triple2 triple1) -> rule3)) -> rule4) OR ((((triple2 ((((triple2 triple1) -> rule3)) -> rule1)) -> rule6) ((triple2 triple1) -> rule3)) -> rule4))]