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