Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is smart. Harry is big. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. If someone is kind then they are quiet. If someone is smart then they are quiet. All quiet, furry people are smart. Big people are quiet. If Harry is smart then Harry is kind. All quiet people are blue.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple4) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule1)) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple1) -> rule4) OR ((triple3) -> rule1) OR ((triple5) -> rule2))] Charlie is smart.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8 OR ((triple10) -> rule5) OR ((((triple9 triple7) -> rule3)) -> rule5) OR ((((((triple6) -> rule4) triple7) -> rule3)) -> rule5))] Harry is quiet.[(triple9 OR ((triple10) -> rule2) OR ((triple6) -> rule4) OR ((triple8) -> rule1) OR ((((triple10) -> rule5)) -> rule1))] Harry is smart.[(triple10 OR ((triple9 triple7) -> rule3) OR ((((triple6) -> rule4) triple7) -> rule3) OR ((((triple8) -> rule1) triple7) -> rule3))] @1: Harry is blue.[(((triple9) -> rule6) OR ((((triple10) -> rule2)) -> rule6) OR ((((triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule1)) -> rule6) OR ((((((triple10) -> rule5)) -> rule1)) -> rule6))]