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