Dave is furry. Dave is smart. Erin is blue. Erin is cold. Erin is smart. Fiona is not furry. Fiona is round. Gary is cold. Gary is furry. Gary is round. Gary is smart. If Dave is furry then Dave is white. If someone is white then they are cold. Kind people are furry. All smart, cold people are round. Round, white people are blue. If someone is blue and white then they are kind.
Fiona is not white.
@0: Dave is furry.[(triple1)] Dave is smart.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is smart.[(triple5)] Fiona is not furry.[(triple6)] Fiona is round.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is round.[(triple10 OR ((triple11 triple8) -> rule4))] Gary is smart.[(triple11)] @1: Dave is white.[(((triple1) -> rule1))] Erin is round.[(((triple5 triple4) -> rule4))] @2: Dave is cold.[(((((triple1) -> rule1)) -> rule2))] @3: Dave is round.[(((triple2 ((((triple1) -> rule1)) -> rule2)) -> rule4))] @4: Dave is blue.[(((((triple2 ((((triple1) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule5))] @5: Dave is kind.[(((((((triple2 ((((triple1) -> rule1)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule6))]