Bob is green. Charlie is blue. Charlie is red. Charlie is smart. Erin is blue. Erin is red. Gary is blue. If Charlie is round then Charlie is red. Blue people are red. All white people are blue. If Erin is white then Erin is round. If someone is red then they are cold. All white, red people are round. If someone is round then they are green. All green people are white. Cold people are white.
Charlie is smart.
@0: Bob is green.[(triple1)] Charlie is blue.[(triple2 OR ((((((triple3) -> rule5)) -> rule9)) -> rule3))] Charlie is red.[(triple3 OR ((triple2) -> rule2))] Charlie is smart.[(triple4)] Erin is blue.[(triple5 OR ((((((triple6) -> rule5)) -> rule9)) -> rule3))] Erin is red.[(triple6 OR ((triple5) -> rule2))] Gary is blue.[(triple7)] @1: Bob is white.[(((triple1) -> rule8))] Charlie is cold.[(((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5))] Erin is cold.[(((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] Gary is red.[(((triple7) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule8)) -> rule3))] Charlie is white.[(((((triple3) -> rule5)) -> rule9) OR ((((((triple2) -> rule2)) -> rule5)) -> rule9))] Erin is white.[(((((triple6) -> rule5)) -> rule9) OR ((((((triple5) -> rule2)) -> rule5)) -> rule9))] Gary is cold.[(((((triple7) -> rule2)) -> rule5))] @3: Bob is red.[(((((((triple1) -> rule8)) -> rule3)) -> rule2))] Charlie is round.[(((((((triple3) -> rule5)) -> rule9) triple3) -> rule6) OR ((((((triple3) -> rule5)) -> rule9) ((triple2) -> rule2)) -> rule6) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule9) triple3) -> rule6) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule9) ((triple2) -> rule2)) -> rule6))] Erin is round.[(((((((triple6) -> rule5)) -> rule9)) -> rule4) OR ((((((triple6) -> rule5)) -> rule9) triple6) -> rule6) OR ((((((triple6) -> rule5)) -> rule9) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule9)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule9) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule9) ((triple5) -> rule2)) -> rule6))] Gary is white.[(((((((triple7) -> rule2)) -> rule5)) -> rule9))] @4: Bob is cold.[(((((((((triple1) -> rule8)) -> rule3)) -> rule2)) -> rule5))] Bob is round.[(((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule3)) -> rule2)) -> rule6))] Charlie is green.[(((((((((triple3) -> rule5)) -> rule9) triple3) -> rule6)) -> rule7) OR ((((((((triple3) -> rule5)) -> rule9) ((triple2) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule5)) -> rule9) triple3) -> rule6)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule5)) -> rule9) ((triple2) -> rule2)) -> rule6)) -> rule7))] Erin is green.[(((((((((triple6) -> rule5)) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule9) triple6) -> rule6)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule9) ((triple5) -> rule2)) -> rule6)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule5)) -> rule9)) -> rule4)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule5)) -> rule9) triple6) -> rule6)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule5)) -> rule9) ((triple5) -> rule2)) -> rule6)) -> rule7))] Gary is round.[(((((((((triple7) -> rule2)) -> rule5)) -> rule9) ((triple7) -> rule2)) -> rule6))] @5: Gary is green.[(((((((((((triple7) -> rule2)) -> rule5)) -> rule9) ((triple7) -> rule2)) -> rule6)) -> rule7))]