Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is white. Fiona is big. Fiona is blue. All cold, green people are big. If someone is white then they are red. All white people are big. All red people are smart. All blue people are smart. Big people are cold.
Fiona is smart.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((((triple5) -> rule3)) -> rule6))] Dave is green.[(triple3)] Dave is red.[(triple4 OR ((triple5) -> rule2))] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] @1: Dave is big.[(((triple5) -> rule3) OR ((triple2 triple3) -> rule1))] Dave is smart.[(((triple1) -> rule5) OR ((triple4) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Fiona is cold.[(((triple6) -> rule6))] Fiona is smart.[(((triple7) -> rule5))]