Anne is big. Anne is green. Anne is quiet. Anne is rough. Charlie is big. Charlie is rough. Charlie is young. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Fiona is young. Gary is big. Gary is green. Gary is rough. Gary is round. If Anne is quiet and Anne is big then Anne is round. Young people are furry. All green, round people are furry. Quiet people are round. Rough, green people are young. If someone is quiet then they are round.
Gary is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Charlie is big.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Fiona is furry.[(triple8 OR ((triple12) -> rule2) OR ((triple9 triple11) -> rule3) OR ((triple9 ((triple10) -> rule4)) -> rule3) OR ((triple9 ((triple10) -> rule6)) -> rule3))] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11 OR ((triple10) -> rule4) OR ((triple10) -> rule6))] Fiona is young.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is rough.[(triple15)] Gary is round.[(triple16)] @1: Anne is round.[(((triple3) -> rule4) OR ((triple3) -> rule6) OR ((triple3 triple1) -> rule1))] Anne is young.[(((triple4 triple2) -> rule5))] Charlie is furry.[(((triple7) -> rule2))] Gary is furry.[(((triple14 triple16) -> rule3) OR ((((triple15 triple14) -> rule5)) -> rule2))] Gary is young.[(((triple15 triple14) -> rule5))] @2: Anne is furry.[(((((triple4 triple2) -> rule5)) -> rule2) OR ((triple2 ((triple3) -> rule4)) -> rule3) OR ((triple2 ((triple3) -> rule6)) -> rule3) OR ((triple2 ((triple3 triple1) -> rule1)) -> rule3))]