Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is round. Anne is white. Gary is big. Gary is cold. Gary is nice. Gary is red. Gary is white. Harry is cold. Harry is red. Harry is round. Harry is white. If Harry is round then Harry is white. Big people are cold. If Anne is nice and Anne is green then Anne is big. Big people are nice. All round people are nice. If someone is green then they are big. All nice, round people are green. If Harry is big then Harry is white.
Harry is green.
@0: Anne is big.[(triple1 OR ((((triple3 triple5) -> rule7)) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7)) -> rule3) OR ((((triple5) -> rule5) ((triple3 triple5) -> rule7)) -> rule3) OR ((((((triple5) -> rule5) triple5) -> rule7)) -> rule6) OR ((triple3 ((((triple5) -> rule5) triple5) -> rule7)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule3))] Anne is cold.[(triple2 OR ((triple1) -> rule2) OR ((((((triple3 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple3 ((triple3 triple5) -> rule7)) -> rule3)) -> rule2) OR ((((((triple5) -> rule5) ((triple3 triple5) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple5) -> rule5) triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple3 ((((triple5) -> rule5) triple5) -> rule7)) -> rule3)) -> rule2) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule3)) -> rule2))] Anne is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple5) -> rule5))] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8 OR ((triple7) -> rule2))] Gary is nice.[(triple9 OR ((triple7) -> rule4))] Gary is red.[(triple10)] Gary is white.[(triple11)] Harry is cold.[(triple12 OR ((((((((triple14) -> rule5) triple14) -> rule7)) -> rule6)) -> rule2))] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule1) OR ((((((((triple14) -> rule5) triple14) -> rule7)) -> rule6)) -> rule8))] @1: Anne is green.[(((triple3 triple5) -> rule7) OR ((((triple1) -> rule4) triple5) -> rule7) OR ((((triple5) -> rule5) triple5) -> rule7))] Harry is nice.[(((triple14) -> rule5))] @2: Harry is green.[(((((triple14) -> rule5) triple14) -> rule7))] @3: Harry is big.[(((((((triple14) -> rule5) triple14) -> rule7)) -> rule6))]