Dave is blue. Dave is kind. Dave is nice. Dave is red. Erin is nice. Erin is not red. Fiona is cold. Fiona is furry. Fiona is not kind. Gary is blue. Gary is nice. Gary is red. If someone is furry and cold then they are big. If Fiona is big then Fiona is blue. If Fiona is nice then Fiona is not kind. Red, big people are cold. If someone is furry and nice then they are not cold. If someone is red and nice then they are cold. All red, big people are not furry. If someone is blue and furry then they are not red.
Dave is not big.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Erin is nice.[(triple5)] Erin is not red.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is not kind.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] @1: Dave is cold.[(((triple4 triple3) -> rule6))] Fiona is big.[(((triple8 triple7) -> rule1))] Gary is cold.[(((triple12 triple11) -> rule6))] @2: Fiona is blue.[(((((triple8 triple7) -> rule1)) -> rule2))] @3: Fiona is not red.[(((((((triple8 triple7) -> rule1)) -> rule2) triple8) -> rule8))]