Anne is big. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is young. Bob is big. Bob is green. Bob is quiet. Bob is round. Gary is furry. Gary is green. Gary is nice. Gary is round. Gary is young. Round, furry things are young. All young, green things are nice. Round, green things are furry.
Gary is young.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple6 triple3) -> rule3))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple7 triple3) -> rule2) OR ((((triple6 triple2) -> rule1) triple3) -> rule2) OR ((((triple6 ((triple6 triple3) -> rule3)) -> rule1) triple3) -> rule2))] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple6 triple3) -> rule3)) -> rule1))] Bob is big.[(triple8)] Bob is green.[(triple9)] Bob is quiet.[(triple10)] Bob is round.[(triple11)] Gary is furry.[(triple12 OR ((triple15 triple13) -> rule3))] Gary is green.[(triple13)] Gary is nice.[(triple14 OR ((triple16 triple13) -> rule2) OR ((((triple15 triple12) -> rule1) triple13) -> rule2) OR ((((triple15 ((triple15 triple13) -> rule3)) -> rule1) triple13) -> rule2))] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((triple15 triple12) -> rule1) OR ((triple15 ((triple15 triple13) -> rule3)) -> rule1))] @1: Bob is furry.[(((triple11 triple9) -> rule3))] @2: Bob is young.[(((triple11 ((triple11 triple9) -> rule3)) -> rule1))] @3: Bob is nice.[(((((triple11 ((triple11 triple9) -> rule3)) -> rule1) triple9) -> rule2))]