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