Bob is big. Charlie is nice. Dave is nice. Gary is nice. If Dave is green and Dave is rough then Dave is white. Nice, blue people are white. All smart, nice people are blue. If someone is rough then they are smart. Rough people are nice. If someone is nice then they are rough. Blue people are smart. If Bob is rough and Bob is nice then Bob is blue.
Bob is not blue.
@0: Bob is big.[(triple1)] Charlie is nice.[(triple2)] Dave is nice.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is rough.[(((triple2) -> rule6))] Dave is rough.[(((triple3) -> rule6))] Gary is rough.[(((triple4) -> rule6))] @2: Charlie is smart.[(((((triple2) -> rule6)) -> rule4))] Dave is smart.[(((((triple3) -> rule6)) -> rule4))] Gary is smart.[(((((triple4) -> rule6)) -> rule4))] @3: Charlie is blue.[(((((((triple2) -> rule6)) -> rule4) triple2) -> rule3))] Dave is blue.[(((((((triple3) -> rule6)) -> rule4) triple3) -> rule3))] Gary is blue.[(((((((triple4) -> rule6)) -> rule4) triple4) -> rule3))] @4: Charlie is white.[(((triple2 ((((((triple2) -> rule6)) -> rule4) triple2) -> rule3)) -> rule2))] Dave is white.[(((triple3 ((((((triple3) -> rule6)) -> rule4) triple3) -> rule3)) -> rule2))] Gary is white.[(((triple4 ((((((triple4) -> rule6)) -> rule4) triple4) -> rule3)) -> rule2))]