Dave is kind. Dave is smart. Erin is cold. Erin is round. Gary is cold. Gary is kind. Gary is rough. If something is cold and kind then it is young. All cold things are smart. Kind things are round. If Gary is kind then Gary is young. If Dave is smart then Dave is rough. If Gary is rough and Gary is cold then Gary is smart. If Gary is round then Gary is rough. Round things are big.
Erin is not young.
@0: Dave is kind.[(triple1)] Dave is smart.[(triple2)] Erin is cold.[(triple3)] Erin is round.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is rough.[(triple7 OR ((((triple6) -> rule3)) -> rule7))] @1: Dave is rough.[(((triple2) -> rule5))] Dave is round.[(((triple1) -> rule3))] Erin is big.[(((triple4) -> rule8))] Erin is smart.[(((triple3) -> rule2))] Gary is round.[(((triple6) -> rule3))] Gary is smart.[(((triple5) -> rule2) OR ((triple7 triple5) -> rule6) OR ((((((triple6) -> rule3)) -> rule7) triple5) -> rule6))] Gary is young.[(((triple6) -> rule4) OR ((triple5 triple6) -> rule1))] @2: Dave is big.[(((((triple1) -> rule3)) -> rule8))] Gary is big.[(((((triple6) -> rule3)) -> rule8))]