Erin is big. Erin is green. Erin is nice. Erin is red. Erin is white. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is white. Harry is big. Harry is nice. Harry is red. Harry is smart. White, nice people are red. If someone is white then they are kind. All nice, kind people are white. If Gary is big then Gary is white. Green, big people are nice. If Gary is kind then Gary is white. If Harry is nice then Harry is white. If Harry is kind then Harry is smart.
Gary is red.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple2 triple1) -> rule5))] Erin is red.[(triple4 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple2 triple1) -> rule5)) -> rule1))] Erin is white.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8 OR ((triple11) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] Gary is nice.[(triple9 OR ((triple7 triple6) -> rule5))] Gary is red.[(triple10 OR ((triple11 triple9) -> rule1) OR ((triple11 ((triple7 triple6) -> rule5)) -> rule1) OR ((((triple6) -> rule4) triple9) -> rule1) OR ((((triple8) -> rule6) triple9) -> rule1) OR ((((triple9 triple8) -> rule3) triple9) -> rule1) OR ((((triple6) -> rule4) ((triple7 triple6) -> rule5)) -> rule1) OR ((((triple8) -> rule6) ((triple7 triple6) -> rule5)) -> rule1) OR ((((triple9 triple8) -> rule3) ((triple7 triple6) -> rule5)) -> rule1) OR ((((((triple7 triple6) -> rule5) triple8) -> rule3) triple9) -> rule1) OR ((((((triple7 triple6) -> rule5) triple8) -> rule3) ((triple7 triple6) -> rule5)) -> rule1))] Gary is white.[(triple11 OR ((triple6) -> rule4) OR ((triple8) -> rule6) OR ((triple9 triple8) -> rule3) OR ((((triple7 triple6) -> rule5) triple8) -> rule3))] Harry is big.[(triple12)] Harry is nice.[(triple13)] Harry is red.[(triple14 OR ((((triple13) -> rule7) triple13) -> rule1))] Harry is smart.[(triple15 OR ((((((triple13) -> rule7)) -> rule2)) -> rule8))] @1: Erin is kind.[(((triple5) -> rule2))] Harry is white.[(((triple13) -> rule7))] @2: Harry is kind.[(((((triple13) -> rule7)) -> rule2))]