Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is white. Erin is big. Erin is blue. Erin is furry. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is smart. If something is red and furry then it is white. Smart things are red. If something is big then it is blue.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule3))] Bob is furry.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5 OR ((triple4 triple3) -> rule1))] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple6) -> rule3))] Erin is furry.[(triple8)] Erin is red.[(triple9 OR ((triple11) -> rule2))] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12 OR ((triple9 triple8) -> rule1) OR ((((triple11) -> rule2) triple8) -> rule1))] Gary is big.[(triple13)] Gary is blue.[(triple14 OR ((triple13) -> rule3))] Gary is furry.[(triple15)] Gary is smart.[(triple16)] @1: Gary is red.[(((triple16) -> rule2))] @2: Gary is white.[(((((triple16) -> rule2) triple15) -> rule1))]