Anne is big. Anne is blue. Anne is green. Anne is quiet. Bob is big. Bob is blue. Bob is furry. Bob is rough. Fiona is furry. Gary is blue. Gary is green. Gary is rough. If something is furry then it is rough. If something is furry and rough then it is big. If Fiona is big then Fiona is green.
Bob is green.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Bob is big.[(triple5 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple7) -> rule1)) -> rule2))] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is rough.[(triple8 OR ((triple7) -> rule1))] Fiona is furry.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] @1: Fiona is rough.[(((triple9) -> rule1))] @2: Fiona is big.[(((triple9 ((triple9) -> rule1)) -> rule2))] @3: Fiona is green.[(((((triple9 ((triple9) -> rule1)) -> rule2)) -> rule3))]