Bob is big. Bob is blue. Bob is red. Bob is rough. Erin is big. Erin is blue. Erin is kind. Erin is red. Erin is smart. Erin is white. If someone is kind and blue then they are white. If Bob is white then Bob is big. If someone is smart then they are white. All blue, white people are smart. All smart, big people are white. All blue people are kind.
Bob is white.
@0: Bob is big.[(triple1 OR ((((((triple2) -> rule6) triple2) -> rule1)) -> rule2))] Bob is blue.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7 OR ((triple6) -> rule6))] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple6 triple10) -> rule4) OR ((triple6 ((triple7 triple6) -> rule1)) -> rule4) OR ((triple6 ((((triple6) -> rule6) triple6) -> rule1)) -> rule4))] Erin is white.[(triple10 OR ((triple9) -> rule3) OR ((triple7 triple6) -> rule1) OR ((triple9 triple5) -> rule5) OR ((((triple6) -> rule6) triple6) -> rule1))] @1: Bob is kind.[(((triple2) -> rule6))] @2: Bob is white.[(((((triple2) -> rule6) triple2) -> rule1))] @3: Bob is smart.[(((triple2 ((((triple2) -> rule6) triple2) -> rule1)) -> rule4))]