Dave is round. Erin is white. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is round. Fiona is white. Gary is cold. Gary is round. Gary is white. If Erin is white and Erin is smart then Erin is kind. Furry, cold things are young. Furry, smart things are cold. Cold things are young. If Gary is young and Gary is white then Gary is kind. If something is furry then it is smart. If Gary is round then Gary is white. If Dave is round and Dave is white then Dave is kind.
Erin is not smart.
@0: Dave is round.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3 OR ((triple4 ((triple4) -> rule6)) -> rule3))] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is cold.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10 OR ((triple9) -> rule7))] @1: Fiona is smart.[(((triple4) -> rule6))] Fiona is young.[(((triple3) -> rule4) OR ((triple4 triple3) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule3)) -> rule4) OR ((triple4 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule2))] Gary is young.[(((triple8) -> rule4))] @2: Gary is kind.[(((((triple8) -> rule4) triple10) -> rule5) OR ((((triple8) -> rule4) ((triple9) -> rule7)) -> rule5))]