Bob is big. Bob is cold. Bob is green. Bob is white. Dave is red. Dave is smart. Dave is white. Fiona is big. Fiona is cold. Fiona is white. Gary is red. Gary is smart. All white people are blue. All white people are blue. All smart, cold people are white. If someone is smart and big then they are not green. If someone is blue then they are green. All smart people are cold. If Dave is not smart then Dave is blue. If someone is cold and not green then they are not red.
Fiona is not red.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((((triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] Bob is white.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple6 ((triple6) -> rule6)) -> rule3))] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is white.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)] @1: Bob is blue.[(((triple4) -> rule1) OR ((triple4) -> rule2))] Dave is blue.[(((triple7) -> rule1) OR ((triple7) -> rule2) OR ((((triple6 ((triple6) -> rule6)) -> rule3)) -> rule1) OR ((((triple6 ((triple6) -> rule6)) -> rule3)) -> rule2))] Dave is cold.[(((triple6) -> rule6))] Fiona is blue.[(((triple10) -> rule1) OR ((triple10) -> rule2))] Gary is cold.[(((triple12) -> rule6))] @2: Dave is green.[(((((triple7) -> rule1)) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple6 ((triple6) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((((triple6 ((triple6) -> rule6)) -> rule3)) -> rule2)) -> rule5))] Fiona is green.[(((((triple10) -> rule1)) -> rule5) OR ((((triple10) -> rule2)) -> rule5))] Gary is white.[(((triple12 ((triple12) -> rule6)) -> rule3))] @3: Gary is blue.[(((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1) OR ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule2))] @4: Gary is green.[(((((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule2)) -> rule5))]