Anne is nice. Anne is round. Anne is smart. Charlie is blue. Charlie is red. Gary is blue. Gary is kind. Gary is nice. Gary is smart. Harry is blue. Harry is round. Harry is white. If something is kind and blue then it is smart. Red, kind things are blue. Smart, kind things are blue. All smart things are round. If something is nice then it is round. If something is round then it is blue. Round things are nice. If Harry is nice and Harry is round then Harry is kind.
Harry is not smart.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule7) OR ((((triple3) -> rule4)) -> rule7))] Anne is round.[(triple2 OR ((triple1) -> rule5) OR ((triple3) -> rule4))] Anne is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is red.[(triple5)] Gary is blue.[(triple6 OR ((triple9 triple7) -> rule3) OR ((((triple8) -> rule5)) -> rule6) OR ((((triple9) -> rule4)) -> rule6))] Gary is kind.[(triple7)] Gary is nice.[(triple8 OR ((((triple9) -> rule4)) -> rule7) OR ((((((triple7 triple6) -> rule1)) -> rule4)) -> rule7))] Gary is smart.[(triple9 OR ((triple7 triple6) -> rule1) OR ((triple7 ((((triple8) -> rule5)) -> rule6)) -> rule1))] Harry is blue.[(triple10 OR ((triple11) -> rule6))] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Anne is blue.[(((triple2) -> rule6) OR ((((triple1) -> rule5)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Gary is round.[(((triple8) -> rule5) OR ((triple9) -> rule4) OR ((((triple7 triple6) -> rule1)) -> rule4))] Harry is nice.[(((triple11) -> rule7))] @2: Harry is kind.[(((((triple11) -> rule7) triple11) -> rule8))] @3: Harry is smart.[(((((((triple11) -> rule7) triple11) -> rule8) triple10) -> rule1) OR ((((((triple11) -> rule7) triple11) -> rule8) ((triple11) -> rule6)) -> rule1))]