Charlie is blue. Charlie is red. Dave is furry. Dave is nice. Dave is red. Dave is white. Fiona is not blue. Fiona is furry. Fiona is nice. Fiona is young. If someone is white and nice then they are not young. All cold people are furry. Blue people are furry. All young people are cold. If someone is furry and nice then they are cold. If someone is furry then they are nice. If Charlie is not blue then Charlie is white. If Dave is young and Dave is red then Dave is cold.
Fiona is red.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((triple3) -> rule6))] Dave is red.[(triple5)] Dave is white.[(triple6)] Fiona is furry.[(triple8 OR ((((triple10) -> rule4)) -> rule2))] Fiona is nice.[(triple9 OR ((triple8) -> rule6) OR ((((((triple10) -> rule4)) -> rule2)) -> rule6))] Fiona is not blue.[(triple7)] Fiona is young.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule3))] Dave is cold.[(((triple3 triple4) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule5))] Dave is not young.[(((triple6 triple4) -> rule1) OR ((triple6 ((triple3) -> rule6)) -> rule1))] Fiona is cold.[(((triple10) -> rule4) OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple8) -> rule6)) -> rule5))] @2: Charlie is nice.[(((((triple1) -> rule3)) -> rule6))] @3: Charlie is cold.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule5))]