Anne is big. Anne is cold. Anne is green. Anne is round. Bob is big. Bob is cold. Bob is round. Harry is blue. Harry is cold. Harry is quiet. If Bob is round and Bob is quiet then Bob is green. All big, cold people are quiet. All green people are big. If someone is green then they are blue. If Bob is quiet then Bob is round. All round people are cold.
Harry is not blue.
@0: Anne is big.[(triple1 OR ((triple3) -> rule3))] Anne is cold.[(triple2 OR ((triple4) -> rule6))] Anne is green.[(triple3)] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is cold.[(triple6 OR ((triple7) -> rule6))] Bob is round.[(triple7 OR ((((triple5 triple6) -> rule2)) -> rule5))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is blue.[(((triple3) -> rule4))] Anne is quiet.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple4) -> rule6)) -> rule2) OR ((((triple3) -> rule3) triple2) -> rule2) OR ((((triple3) -> rule3) ((triple4) -> rule6)) -> rule2))] Bob is quiet.[(((triple5 triple6) -> rule2) OR ((triple5 ((triple7) -> rule6)) -> rule2))] @2: Bob is green.[(((triple7 ((triple5 triple6) -> rule2)) -> rule1) OR ((triple7 ((triple5 ((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((triple5 triple6) -> rule2)) -> rule5) ((triple5 triple6) -> rule2)) -> rule1) OR ((((((triple5 triple6) -> rule2)) -> rule5) ((triple5 ((triple7) -> rule6)) -> rule2)) -> rule1))] @3: Bob is blue.[(((((triple7 ((triple5 triple6) -> rule2)) -> rule1)) -> rule4) OR ((((triple7 ((triple5 ((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple5 triple6) -> rule2)) -> rule5) ((triple5 triple6) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple5 triple6) -> rule2)) -> rule5) ((triple5 ((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule4))]