Charlie is quiet. Dave is quiet. Erin is green. Gary is nice. If Erin is not green then Erin is smart. If someone is quiet then they are nice. All green people are quiet. If someone is nice then they are white. If someone is nice and not white then they are kind. If someone is nice and not kind then they are smart.
Erin is nice.
@0: Charlie is quiet.[(triple1)] Dave is quiet.[(triple2)] Erin is green.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule2))] Dave is nice.[(((triple2) -> rule2))] Erin is quiet.[(((triple3) -> rule3))] Gary is white.[(((triple4) -> rule4))] @2: Charlie is white.[(((((triple1) -> rule2)) -> rule4))] Dave is white.[(((((triple2) -> rule2)) -> rule4))] Erin is nice.[(((((triple3) -> rule3)) -> rule2))] @3: Erin is white.[(((((((triple3) -> rule3)) -> rule2)) -> rule4))]