Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Harry is big. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is young. If Erin is smart then Erin is young. If something is big and white then it is young. If something is nice then it is round. If something is young then it is big. Quiet things are nice. All young things are quiet.
Erin is nice.
@0: Erin is nice.[(triple1 OR ((triple2) -> rule5) OR ((((((triple4) -> rule1)) -> rule6)) -> rule5))] Erin is quiet.[(triple2 OR ((((triple4) -> rule1)) -> rule6))] Erin is round.[(triple3 OR ((triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule6)) -> rule5)) -> rule3))] Erin is smart.[(triple4)] Erin is white.[(triple5)] Harry is big.[(triple6 OR ((triple12) -> rule4))] Harry is nice.[(triple7 OR ((triple8) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((((triple6 triple11) -> rule2)) -> rule6)) -> rule5))] Harry is quiet.[(triple8 OR ((triple12) -> rule6) OR ((((triple6 triple11) -> rule2)) -> rule6))] Harry is round.[(triple9 OR ((triple7) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6 triple11) -> rule2)) -> rule6)) -> rule5)) -> rule3))] Harry is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((triple6 triple11) -> rule2))] @1: Erin is young.[(((triple4) -> rule1))] @2: Erin is big.[(((((triple4) -> rule1)) -> rule4))]