Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is white. Erin is young. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is white. Harry is young. If someone is quiet and blue then they are white. All blue people are quiet. All young, quiet people are white. White people are young. If Harry is big then Harry is blue. If Harry is cold and Harry is quiet then Harry is blue.
Erin is not big.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple2) -> rule2))] Erin is white.[(triple6 OR ((triple5 triple2) -> rule1) OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule1))] Erin is young.[(triple7 OR ((triple6) -> rule4) OR ((((triple5 triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule2) triple2) -> rule1)) -> rule4))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple8) -> rule5) OR ((triple10 triple12) -> rule6))] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple9) -> rule2) OR ((((triple8) -> rule5)) -> rule2))] Harry is white.[(triple13 OR ((triple12 triple9) -> rule1) OR ((triple14 triple12) -> rule3) OR ((triple12 ((triple8) -> rule5)) -> rule1) OR ((triple12 ((triple10 triple12) -> rule6)) -> rule1) OR ((triple14 ((triple9) -> rule2)) -> rule3) OR ((((triple9) -> rule2) triple9) -> rule1) OR ((((triple9) -> rule2) ((triple8) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((triple10 triple12) -> rule6)) -> rule1) OR ((triple14 ((((triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8) -> rule5)) -> rule2) triple9) -> rule1) OR ((((((triple8) -> rule5)) -> rule2) ((triple8) -> rule5)) -> rule1) OR ((((((triple8) -> rule5)) -> rule2) ((triple10 triple12) -> rule6)) -> rule1))] Harry is young.[(triple14 OR ((triple13) -> rule4) OR ((((triple12 triple9) -> rule1)) -> rule4) OR ((((triple12 ((triple8) -> rule5)) -> rule1)) -> rule4) OR ((((triple12 ((triple10 triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((triple9) -> rule2) triple9) -> rule1)) -> rule4) OR ((((((triple9) -> rule2) ((triple8) -> rule5)) -> rule1)) -> rule4) OR ((((((triple9) -> rule2) ((triple10 triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule5)) -> rule2) triple9) -> rule1)) -> rule4) OR ((((((((triple8) -> rule5)) -> rule2) ((triple8) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule5)) -> rule2) ((triple10 triple12) -> rule6)) -> rule1)) -> rule4))]