Bob is red. Bob is not round. Bob is smart. Bob is not white. Erin is blue. Erin is green. Erin is white. Gary is blue. Gary is nice. Gary is red. Gary is not smart. Gary is white. If Bob is red and Bob is smart then Bob is nice.
Bob is green.
@0: Bob is not round.[(triple2)] Bob is not white.[(triple4)] Bob is red.[(triple1)] Bob is smart.[(triple3)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is white.[(triple7)] Gary is blue.[(triple8)] Gary is nice.[(triple9)] Gary is not smart.[(triple11)] Gary is red.[(triple10)] Gary is white.[(triple12)] @1: Bob is nice.[(((triple1 triple3) -> rule1))]