Bob is not kind. Bob is white. Dave is kind. Dave is nice. Erin is blue. Erin is nice. Fiona is rough. If something is blue then it is not red. Kind things are not red. If something is blue and not nice then it is kind. Nice, kind things are not green. All rough things are green. Blue things are rough. If something is green then it is white. All red things are blue.
Fiona is rough.
@0: Bob is not kind.[(triple1)] Bob is white.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Fiona is rough.[(triple7)] @1: Dave is not green.[(((triple4 triple3) -> rule4))] Dave is not red.[(((triple3) -> rule2))] Erin is not red.[(((triple5) -> rule1))] Erin is rough.[(((triple5) -> rule6))] Fiona is green.[(((triple7) -> rule5))] @2: Erin is green.[(((((triple5) -> rule6)) -> rule5))] Fiona is white.[(((((triple7) -> rule5)) -> rule7))] @3: Erin is white.[(((((((triple5) -> rule6)) -> rule5)) -> rule7))]