Charlie is smart. Erin is not blue. Erin is green. Erin is red. Erin is white. Fiona is red. Gary is white. If something is white and nice then it is kind. All smart things are nice. If something is green then it is white. If something is white then it is smart. If something is green and blue then it is not smart. All red, white things are not blue. All green things are not blue. If Fiona is smart then Fiona is not blue. Nice, kind things are red.
Charlie is white.
@0: Charlie is smart.[(triple1)] Erin is green.[(triple3)] Erin is not blue.[(triple2 OR ((triple3) -> rule7) OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple3) -> rule3)) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((triple5) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple5) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) ((triple3) -> rule3)) -> rule6))] Erin is red.[(triple4 OR ((((((triple5) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((triple5) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((triple5) -> rule4)) -> rule2) ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((triple5) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2) ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule9))] Erin is white.[(triple5 OR ((triple3) -> rule3))] Fiona is red.[(triple6)] Gary is white.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule2))] Erin is smart.[(((triple5) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Gary is smart.[(((triple7) -> rule4))] @2: Erin is nice.[(((((triple5) -> rule4)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4)) -> rule2))] Gary is nice.[(((((triple7) -> rule4)) -> rule2))] @3: Erin is kind.[(((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule1) OR ((((triple3) -> rule3) ((((triple5) -> rule4)) -> rule2)) -> rule1) OR ((triple5 ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) OR ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1))] Gary is kind.[(((triple7 ((((triple7) -> rule4)) -> rule2)) -> rule1))] @4: Gary is red.[(((((((triple7) -> rule4)) -> rule2) ((triple7 ((((triple7) -> rule4)) -> rule2)) -> rule1)) -> rule9))] @5: Gary is not blue.[(((((((((triple7) -> rule4)) -> rule2) ((triple7 ((((triple7) -> rule4)) -> rule2)) -> rule1)) -> rule9) triple7) -> rule6))]