Anne is green. Anne is kind. Anne is round. Bob is blue. Erin is green. Erin is kind. Erin is rough. Blue things are round. If Anne is rough and Anne is big then Anne is round. If something is round then it is kind. Blue, round things are big. If something is green and round then it is blue. Big, green things are rough. If Anne is round and Anne is kind then Anne is furry. All rough things are furry.
Erin is big.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule3))] Anne is round.[(triple3)] Bob is blue.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7)] @1: Anne is blue.[(((triple1 triple3) -> rule5))] Anne is furry.[(((triple3 triple2) -> rule7) OR ((triple3 ((triple3) -> rule3)) -> rule7) OR ((((((((triple1 triple3) -> rule5) triple3) -> rule4) triple1) -> rule6)) -> rule8))] Bob is round.[(((triple4) -> rule1))] Erin is furry.[(((triple7) -> rule8))] @2: Anne is big.[(((((triple1 triple3) -> rule5) triple3) -> rule4))] Bob is big.[(((triple4 ((triple4) -> rule1)) -> rule4))] Bob is kind.[(((((triple4) -> rule1)) -> rule3))] @3: Anne is rough.[(((((((triple1 triple3) -> rule5) triple3) -> rule4) triple1) -> rule6))]