Anne is furry. Anne is quiet. Anne is red. Bob is round. Erin is red. Fiona is furry. Fiona is rough. If Anne is furry and Anne is kind then Anne is red. All kind things are red. Quiet things are rough. All kind, rough things are nice. If something is kind then it is quiet. Rough things are kind.
Anne is kind.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((((((triple2) -> rule3)) -> rule6)) -> rule2) OR ((triple1 ((((triple2) -> rule3)) -> rule6)) -> rule1))] Bob is round.[(triple4)] Erin is red.[(triple5)] Fiona is furry.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is rough.[(((triple2) -> rule3))] Fiona is kind.[(((triple7) -> rule6))] @2: Anne is kind.[(((((triple2) -> rule3)) -> rule6))] Fiona is nice.[(((((triple7) -> rule6) triple7) -> rule4))] Fiona is quiet.[(((((triple7) -> rule6)) -> rule5))] Fiona is red.[(((((triple7) -> rule6)) -> rule2))] @3: Anne is nice.[(((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule4))]