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