Charlie is big. Charlie is not kind. Charlie is not quiet. Charlie is not round. Erin is big. Erin is nice. Erin is quiet. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is not round. All nice, cold things are kind. All round things are not kind. If something is nice and not round then it is kind. If Harry is not round then Harry is red. All quiet things are cold. If something is nice and big then it is red. If something is nice and round then it is not red. All red things are quiet.
Erin is kind.
@0: Charlie is big.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7 OR ((((triple6 triple5) -> rule6)) -> rule8))] Harry is cold.[(triple8 OR ((((triple11) -> rule8)) -> rule5) OR ((((((triple12) -> rule4)) -> rule8)) -> rule5))] Harry is kind.[(triple9 OR ((triple10 triple12) -> rule3) OR ((triple10 triple8) -> rule1) OR ((triple10 ((((triple11) -> rule8)) -> rule5)) -> rule1) OR ((triple10 ((((((triple12) -> rule4)) -> rule8)) -> rule5)) -> rule1))] Harry is nice.[(triple10)] Harry is not round.[(triple12)] Harry is red.[(triple11 OR ((triple12) -> rule4))] @1: Erin is cold.[(((triple7) -> rule5) OR ((((((triple6 triple5) -> rule6)) -> rule8)) -> rule5))] Erin is red.[(((triple6 triple5) -> rule6))] Harry is quiet.[(((triple11) -> rule8) OR ((((triple12) -> rule4)) -> rule8))] @2: Erin is kind.[(((triple6 ((triple7) -> rule5)) -> rule1) OR ((triple6 ((((((triple6 triple5) -> rule6)) -> rule8)) -> rule5)) -> rule1))]