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