Anne is rough. Anne is smart. Bob is furry. Bob is green. Bob is young. Erin is big. Erin is furry. Erin is rough. Erin is smart. Erin is young. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is young. If something is young and furry then it is quiet. Furry things are green. If something is quiet then it is furry.
Erin is big.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule2))] Bob is young.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] Gary is green.[(triple11 OR ((((triple12) -> rule3)) -> rule2))] Gary is quiet.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Bob is quiet.[(((triple5 triple3) -> rule1))] Erin is green.[(((triple7) -> rule2))] Erin is quiet.[(((triple10 triple7) -> rule1))] Gary is furry.[(((triple12) -> rule3))]