Anne is big. Anne is blue. Anne is quiet. Bob is big. Bob is blue. Bob is green. Bob is red. Bob is round. Charlie is green. Charlie is white. Harry is big. Red, round people are white. If someone is white and green then they are round. If Bob is round and Bob is big then Bob is white. If Anne is white then Anne is round. Quiet, big people are white. If someone is big then they are green. If Harry is big and Harry is red then Harry is blue. If someone is blue then they are round. If Harry is green then Harry is red.
Harry is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is green.[(triple6 OR ((triple4) -> rule6))] Bob is red.[(triple7)] Bob is round.[(triple8 OR ((triple5) -> rule8))] Charlie is green.[(triple9)] Charlie is white.[(triple10)] Harry is big.[(triple11)] @1: Anne is green.[(((triple1) -> rule6))] Anne is round.[(((triple2) -> rule8) OR ((((triple3 triple1) -> rule5)) -> rule4) OR ((((triple3 triple1) -> rule5) ((triple1) -> rule6)) -> rule2))] Anne is white.[(((triple3 triple1) -> rule5))] Bob is white.[(((triple7 triple8) -> rule1) OR ((triple8 triple4) -> rule3) OR ((triple7 ((triple5) -> rule8)) -> rule1) OR ((((triple5) -> rule8) triple4) -> rule3))] Charlie is round.[(((triple10 triple9) -> rule2))] Harry is green.[(((triple11) -> rule6))] @2: Harry is red.[(((((triple11) -> rule6)) -> rule9))] @3: Harry is blue.[(((triple11 ((((triple11) -> rule6)) -> rule9)) -> rule7))] @4: Harry is round.[(((((triple11 ((((triple11) -> rule6)) -> rule9)) -> rule7)) -> rule8))] @5: Harry is white.[(((((((triple11) -> rule6)) -> rule9) ((((triple11 ((((triple11) -> rule6)) -> rule9)) -> rule7)) -> rule8)) -> rule1))]