Anne is green. Anne is nice. Anne is rough. Anne is round. Bob is nice. Bob is rough. Bob is round. Charlie is rough. Harry is cold. Harry is nice. Harry is red. Harry is rough. If something is green then it is round. If something is nice and round then it is red. If Anne is rough and Anne is blue then Anne is round. If something is red then it is rough. If Anne is nice and Anne is round then Anne is red. If something is nice and cold then it is round.
Charlie is not round.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((((triple2 triple4) -> rule2)) -> rule4) OR ((((triple2 triple4) -> rule5)) -> rule4) OR ((((triple2 ((triple1) -> rule1)) -> rule2)) -> rule4) OR ((((triple2 ((triple1) -> rule1)) -> rule5)) -> rule4))] Anne is round.[(triple4 OR ((triple1) -> rule1))] Bob is nice.[(triple5)] Bob is rough.[(triple6 OR ((((triple5 triple7) -> rule2)) -> rule4))] Bob is round.[(triple7)] Charlie is rough.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11 OR ((triple10 ((triple10 triple9) -> rule6)) -> rule2))] Harry is rough.[(triple12 OR ((triple11) -> rule4) OR ((((triple10 ((triple10 triple9) -> rule6)) -> rule2)) -> rule4))] @1: Anne is red.[(((triple2 triple4) -> rule2) OR ((triple2 triple4) -> rule5) OR ((triple2 ((triple1) -> rule1)) -> rule2) OR ((triple2 ((triple1) -> rule1)) -> rule5))] Bob is red.[(((triple5 triple7) -> rule2))] Harry is round.[(((triple10 triple9) -> rule6))]