Dave is white. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is young. Fiona is quiet. Fiona is young. Gary is furry. Gary is white. If someone is furry then they are big. If Fiona is quiet and Fiona is white then Fiona is kind. Big, cold people are furry. Furry people are white. All kind, quiet people are cold. If Dave is big and Dave is young then Dave is cold. All white people are cold. White people are quiet.
Gary is not white.
@0: Dave is white.[(triple1)] Erin is big.[(triple2 OR ((triple4) -> rule1))] Erin is cold.[(triple3 OR ((((triple4) -> rule4)) -> rule7) OR ((triple5 ((((triple4) -> rule4)) -> rule8)) -> rule5))] Erin is furry.[(triple4 OR ((triple2 triple3) -> rule3))] Erin is kind.[(triple5)] Erin is young.[(triple6)] Fiona is quiet.[(triple7)] Fiona is young.[(triple8)] Gary is furry.[(triple9)] Gary is white.[(triple10 OR ((triple9) -> rule4))] @1: Dave is cold.[(((triple1) -> rule7))] Dave is quiet.[(((triple1) -> rule8))] Erin is white.[(((triple4) -> rule4) OR ((((triple2 triple3) -> rule3)) -> rule4))] Gary is big.[(((triple9) -> rule1))] Gary is cold.[(((triple10) -> rule7) OR ((((triple9) -> rule4)) -> rule7))] Gary is quiet.[(((triple10) -> rule8) OR ((((triple9) -> rule4)) -> rule8))] @2: Erin is quiet.[(((((triple4) -> rule4)) -> rule8) OR ((((((triple2 triple3) -> rule3)) -> rule4)) -> rule8))]