Bob is blue. Bob is green. Bob is nice. Charlie is blue. Charlie is cold. Charlie is round. Gary is blue. Gary is round. Harry is cold. Harry is round. Green, red people are cold. Red, round people are cold. If someone is white and round then they are red. All cold, round people are nice. If someone is nice then they are green. If Harry is round then Harry is white. All round people are white. If someone is blue then they are white. If someone is red then they are white.
Gary is not green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule5))] Bob is nice.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5 OR ((((((triple4) -> rule8) triple6) -> rule3) triple6) -> rule2) OR ((((((triple6) -> rule7) triple6) -> rule3) triple6) -> rule2))] Charlie is round.[(triple6)] Gary is blue.[(triple7)] Gary is round.[(triple8)] Harry is cold.[(triple9 OR ((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule2) OR ((((((triple10) -> rule7) triple10) -> rule3) triple10) -> rule2))] Harry is round.[(triple10)] @1: Bob is white.[(((triple1) -> rule8))] Charlie is nice.[(((triple5 triple6) -> rule4) OR ((((((((triple4) -> rule8) triple6) -> rule3) triple6) -> rule2) triple6) -> rule4) OR ((((((((triple6) -> rule7) triple6) -> rule3) triple6) -> rule2) triple6) -> rule4))] Charlie is white.[(((triple4) -> rule8) OR ((triple6) -> rule7))] Gary is white.[(((triple7) -> rule8) OR ((triple8) -> rule7))] Harry is nice.[(((triple9 triple10) -> rule4) OR ((((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule2) triple10) -> rule4) OR ((((((((triple10) -> rule7) triple10) -> rule3) triple10) -> rule2) triple10) -> rule4))] Harry is white.[(((triple10) -> rule6) OR ((triple10) -> rule7))] @2: Charlie is green.[(((((triple5 triple6) -> rule4)) -> rule5) OR ((((((((((triple4) -> rule8) triple6) -> rule3) triple6) -> rule2) triple6) -> rule4)) -> rule5) OR ((((((((((triple6) -> rule7) triple6) -> rule3) triple6) -> rule2) triple6) -> rule4)) -> rule5))] Charlie is red.[(((((triple4) -> rule8) triple6) -> rule3) OR ((((triple6) -> rule7) triple6) -> rule3))] Gary is red.[(((((triple7) -> rule8) triple8) -> rule3) OR ((((triple8) -> rule7) triple8) -> rule3))] Harry is green.[(((((triple9 triple10) -> rule4)) -> rule5) OR ((((((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule2) triple10) -> rule4)) -> rule5) OR ((((((((((triple10) -> rule7) triple10) -> rule3) triple10) -> rule2) triple10) -> rule4)) -> rule5))] Harry is red.[(((((triple10) -> rule6) triple10) -> rule3) OR ((((triple10) -> rule7) triple10) -> rule3))] @3: Gary is cold.[(((((((triple7) -> rule8) triple8) -> rule3) triple8) -> rule2) OR ((((((triple8) -> rule7) triple8) -> rule3) triple8) -> rule2))] @4: Gary is nice.[(((((((((triple7) -> rule8) triple8) -> rule3) triple8) -> rule2) triple8) -> rule4) OR ((((((((triple8) -> rule7) triple8) -> rule3) triple8) -> rule2) triple8) -> rule4))] @5: Gary is green.[(((((((((((triple7) -> rule8) triple8) -> rule3) triple8) -> rule2) triple8) -> rule4)) -> rule5) OR ((((((((((triple8) -> rule7) triple8) -> rule3) triple8) -> rule2) triple8) -> rule4)) -> rule5))]