Dave is blue. Dave is cold. Dave is nice. Dave is white. Erin is blue. Erin is nice. Erin is red. Erin is white. Fiona is blue. Fiona is round. If Dave is white and Dave is cold then Dave is red. If Dave is round then Dave is red. All white, red things are blue. Round things are blue. Round things are blue. If something is rough and nice then it is cold.
Erin is blue.
@0: Dave is blue.[(triple1 OR ((triple4 ((triple4 triple2) -> rule1)) -> rule3))] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is white.[(triple4)] Erin is blue.[(triple5 OR ((triple8 triple7) -> rule3))] Erin is nice.[(triple6)] Erin is red.[(triple7)] Erin is white.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule4) OR ((triple10) -> rule5))] Fiona is round.[(triple10)] @1: Dave is red.[(((triple4 triple2) -> rule1))]