Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Harry is big. Harry is kind. Harry is nice. Harry is quiet. Harry is round. If Erin is big then Erin is smart. If something is smart then it is quiet. If Harry is not blue then Harry is kind. If something is big and not blue then it is not nice. If something is quiet and not big then it is nice. If something is round then it is nice. If something is quiet and not smart then it is round. Kind things are round.
Harry is smart.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple6) -> rule6) OR ((((triple3) -> rule8)) -> rule6))] Erin is quiet.[(triple5 OR ((triple7) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Erin is round.[(triple6 OR ((triple3) -> rule8))] Erin is smart.[(triple7 OR ((triple1) -> rule1))] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule6) OR ((((triple9) -> rule8)) -> rule6))] Harry is quiet.[(triple11)] Harry is round.[(triple12 OR ((triple9) -> rule8))]