Bob is blue. Bob is green. Erin is not blue. Erin is green. Erin is not nice. Gary is not green. Gary is smart. If someone is green and blue then they are round. If Erin is not green then Erin is blue. If someone is green and round then they are not cold. If someone is red then they are not blue. If Bob is not green then Bob is nice. If someone is blue and not cold then they are nice. If Erin is nice then Erin is not smart. If Erin is red then Erin is smart.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Erin is green.[(triple4)] Erin is not blue.[(triple3)] Erin is not nice.[(triple5)] Gary is not green.[(triple6)] Gary is smart.[(triple7)] @1: Bob is round.[(((triple2 triple1) -> rule1))] @2: Bob is not cold.[(((triple2 ((triple2 triple1) -> rule1)) -> rule3))] @3: Bob is nice.[(((triple1 ((triple2 ((triple2 triple1) -> rule1)) -> rule3)) -> rule6))]