Dave is cold. Dave is red. Erin is white. Fiona is cold. Fiona is quiet. Fiona is not red. Fiona is smart. If Erin is not cold then Erin is smart. If someone is kind and not red then they are not smart. All white people are smart. Cold, red people are smart. All smart people are blue. If someone is quiet and cold then they are white. Red, kind people are white. Blue, cold people are white.
Erin is not blue.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Erin is white.[(triple3)] Fiona is cold.[(triple4)] Fiona is not red.[(triple6)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple7 OR ((((triple5 triple4) -> rule6)) -> rule3))] @1: Dave is smart.[(((triple1 triple2) -> rule4))] Erin is smart.[(((triple3) -> rule3))] Fiona is blue.[(((triple7) -> rule5) OR ((((((triple5 triple4) -> rule6)) -> rule3)) -> rule5))] Fiona is white.[(((triple5 triple4) -> rule6) OR ((((triple7) -> rule5) triple4) -> rule8))] @2: Dave is blue.[(((((triple1 triple2) -> rule4)) -> rule5))] Erin is blue.[(((((triple3) -> rule3)) -> rule5))] @3: Dave is white.[(((((((triple1 triple2) -> rule4)) -> rule5) triple1) -> rule8))]