Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Erin is kind. Erin is rough. Erin is round. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Harry is kind. Harry is nice. Harry is smart. If something is round then it is red. If something is rough and nice then it is green. All red things are round. If Charlie is red then Charlie is round. All round things are green. All round things are green. If Harry is red and Harry is green then Harry is nice. All kind things are red.
Harry is not smart.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((((triple1) -> rule8)) -> rule3) OR ((((triple1) -> rule8)) -> rule4))] Charlie is smart.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((((triple6) -> rule8)) -> rule3))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11 OR ((triple12) -> rule1) OR ((triple9) -> rule8))] Fiona is round.[(triple12 OR ((triple11) -> rule3) OR ((((triple9) -> rule8)) -> rule3))] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((((triple13) -> rule8) ((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple13) -> rule8) ((((((triple13) -> rule8)) -> rule3)) -> rule6)) -> rule7))] Harry is smart.[(triple15)] @1: Charlie is green.[(((triple4) -> rule5) OR ((triple4) -> rule6) OR ((triple3 triple2) -> rule2) OR ((((((triple1) -> rule8)) -> rule3)) -> rule5) OR ((((((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((triple1) -> rule8)) -> rule4)) -> rule5) OR ((((((triple1) -> rule8)) -> rule4)) -> rule6))] Charlie is red.[(((triple1) -> rule8) OR ((triple4) -> rule1))] Erin is green.[(((triple8) -> rule5) OR ((triple8) -> rule6) OR ((((((triple6) -> rule8)) -> rule3)) -> rule5) OR ((((((triple6) -> rule8)) -> rule3)) -> rule6))] Erin is red.[(((triple6) -> rule8) OR ((triple8) -> rule1))] Fiona is green.[(((triple12) -> rule5) OR ((triple12) -> rule6) OR ((((triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule3)) -> rule6) OR ((((((triple9) -> rule8)) -> rule3)) -> rule5) OR ((((((triple9) -> rule8)) -> rule3)) -> rule6))] Harry is red.[(((triple13) -> rule8))] @2: Harry is round.[(((((triple13) -> rule8)) -> rule3))] @3: Harry is green.[(((((((triple13) -> rule8)) -> rule3)) -> rule5) OR ((((((triple13) -> rule8)) -> rule3)) -> rule6))]