Bob is blue. Bob is cold. Bob is kind. Bob is white. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is red. Fiona is cold. Fiona is kind. Fiona is nice. Gary is cold. Gary is kind. Gary is nice. Gary is white. If Fiona is cold then Fiona is furry. If someone is furry then they are red. Blue people are cold. Nice, red people are white. Red people are white. All cold people are furry.
Fiona is not white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule3))] Bob is kind.[(triple3)] Bob is white.[(triple4 OR ((((((triple2) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule5))] Dave is blue.[(triple5)] Dave is cold.[(triple6 OR ((triple5) -> rule3))] Dave is furry.[(triple7 OR ((triple6) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] Dave is kind.[(triple8)] Dave is red.[(triple9 OR ((triple7) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple5) -> rule3)) -> rule6)) -> rule2))] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is white.[(triple16 OR ((((((triple13) -> rule6)) -> rule2)) -> rule5) OR ((triple15 ((((triple13) -> rule6)) -> rule2)) -> rule4))] @1: Bob is furry.[(((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6))] Dave is white.[(((triple9) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple6) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule6)) -> rule2)) -> rule5))] Fiona is furry.[(((triple10) -> rule1) OR ((triple10) -> rule6))] Gary is furry.[(((triple13) -> rule6))] @2: Bob is red.[(((((triple2) -> rule6)) -> rule2) OR ((((((triple1) -> rule3)) -> rule6)) -> rule2))] Fiona is red.[(((((triple10) -> rule1)) -> rule2) OR ((((triple10) -> rule6)) -> rule2))] Gary is red.[(((((triple13) -> rule6)) -> rule2))] @3: Fiona is white.[(((((((triple10) -> rule1)) -> rule2)) -> rule5) OR ((((((triple10) -> rule6)) -> rule2)) -> rule5) OR ((triple12 ((((triple10) -> rule1)) -> rule2)) -> rule4) OR ((triple12 ((((triple10) -> rule6)) -> rule2)) -> rule4))]