Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is smart. Erin is green. Erin is smart. If something is red then it is big. If something is blue and kind then it is big. If something is white then it is kind. Smart, big things are red. All big, smart things are red. All blue, white things are red. All blue, white things are green. Blue things are smart.
Bob is white.
@0: Bob is big.[(triple1 OR ((triple2 triple4) -> rule2))] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is smart.[(triple5 OR ((triple2) -> rule8))] Erin is green.[(triple6)] Erin is smart.[(triple7)] @1: Bob is red.[(((triple1 triple5) -> rule5) OR ((triple5 triple1) -> rule4) OR ((triple1 ((triple2) -> rule8)) -> rule5) OR ((triple5 ((triple2 triple4) -> rule2)) -> rule4) OR ((((triple2) -> rule8) triple1) -> rule4) OR ((((triple2 triple4) -> rule2) triple5) -> rule5) OR ((((triple2) -> rule8) ((triple2 triple4) -> rule2)) -> rule4) OR ((((triple2 triple4) -> rule2) ((triple2) -> rule8)) -> rule5))]