Erin is furry. Erin is green. Erin is quiet. Erin is white. Erin is young. Gary is big. Gary is green. Gary is nice. Gary is young. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is young. If Erin is young and Erin is big then Erin is nice. White, young things are big.
Harry is not big.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is young.[(triple15)] @1: Erin is big.[(((triple4 triple5) -> rule2))] @2: Erin is nice.[(((triple5 ((triple4 triple5) -> rule2)) -> rule1))]