Bob is nice. Bob is quiet. Erin is quiet. Erin is smart. Erin is white. Fiona is quiet. Fiona is smart. If something is green and not rough then it is quiet. If something is rough and white then it is green. Blue things are not green. If something is quiet then it is blue. If Bob is green then Bob is quiet. If something is quiet and not green then it is nice.
Fiona is not blue.
@0: Bob is nice.[(triple1 OR ((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule6))] Bob is quiet.[(triple2)] Erin is quiet.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] @1: Bob is blue.[(((triple2) -> rule4))] Erin is blue.[(((triple3) -> rule4))] Fiona is blue.[(((triple6) -> rule4))] @2: Bob is not green.[(((((triple2) -> rule4)) -> rule3))] Erin is not green.[(((((triple3) -> rule4)) -> rule3))] Fiona is not green.[(((((triple6) -> rule4)) -> rule3))] @3: Erin is nice.[(((triple3 ((((triple3) -> rule4)) -> rule3)) -> rule6))] Fiona is nice.[(((triple6 ((((triple6) -> rule4)) -> rule3)) -> rule6))]