Charlie is furry. Charlie is quiet. Charlie is smart. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is smart. Erin is not young. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is smart. Gary is young. If Gary is nice then Gary is smart. All furry, quiet things are nice. If something is smart and not furry then it is nice. If something is young and big then it is nice. All young things are big. Young, nice things are blue.
Charlie is smart.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is not young.[(triple9)] Erin is smart.[(triple8)] Gary is big.[(triple10 OR ((triple16) -> rule5))] Gary is blue.[(triple11 OR ((triple16 triple13) -> rule6) OR ((triple16 ((triple12 triple14) -> rule2)) -> rule6) OR ((triple16 ((triple16 triple10) -> rule4)) -> rule6) OR ((triple16 ((triple16 ((triple16) -> rule5)) -> rule4)) -> rule6))] Gary is furry.[(triple12)] Gary is nice.[(triple13 OR ((triple12 triple14) -> rule2) OR ((triple16 triple10) -> rule4) OR ((triple16 ((triple16) -> rule5)) -> rule4))] Gary is quiet.[(triple14)] Gary is smart.[(triple15 OR ((triple13) -> rule1) OR ((((triple12 triple14) -> rule2)) -> rule1) OR ((((triple16 triple10) -> rule4)) -> rule1) OR ((((triple16 ((triple16) -> rule5)) -> rule4)) -> rule1))] Gary is young.[(triple16)] @1: Charlie is nice.[(((triple1 triple2) -> rule2))]