Erin is blue. Erin is kind. Erin is round. Erin is smart. Erin is white. Harry is rough. Harry is round. If Harry is rough and Harry is smart then Harry is white. If Erin is rough and Erin is kind then Erin is smart. Smart things are white. White, blue things are kind. If something is smart then it is round. Smart things are blue. All rough, blue things are kind. All rough, round things are smart.
Harry is round.
@0: Erin is blue.[(triple1 OR ((triple4) -> rule6))] Erin is kind.[(triple2 OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple4) -> rule6)) -> rule4) OR ((((triple4) -> rule3) triple1) -> rule4) OR ((((triple4) -> rule3) ((triple4) -> rule6)) -> rule4))] Erin is round.[(triple3 OR ((triple4) -> rule5))] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple4) -> rule3))] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Harry is smart.[(((triple6 triple7) -> rule8))] @2: Harry is blue.[(((((triple6 triple7) -> rule8)) -> rule6))] Harry is white.[(((((triple6 triple7) -> rule8)) -> rule3) OR ((triple6 ((triple6 triple7) -> rule8)) -> rule1))] @3: Harry is kind.[(((triple6 ((((triple6 triple7) -> rule8)) -> rule6)) -> rule7) OR ((((((triple6 triple7) -> rule8)) -> rule3) ((((triple6 triple7) -> rule8)) -> rule6)) -> rule4) OR ((((triple6 ((triple6 triple7) -> rule8)) -> rule1) ((((triple6 triple7) -> rule8)) -> rule6)) -> rule4))]