Erin is cold. Erin is round. Erin is white. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. All white, round people are nice. Round, nice people are red. All white people are nice. All white, cold people are nice. If someone is white and red then they are rough. All nice people are round. All red people are cold. If someone is white and red then they are rough.
Erin is not red.
@0: Erin is cold.[(triple1 OR ((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule7) OR ((((triple2 ((triple3 triple2) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule3)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2)) -> rule7))] Erin is round.[(triple2 OR ((((triple3) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule4)) -> rule6))] Erin is white.[(triple3)] Fiona is cold.[(triple4 OR ((triple7) -> rule7) OR ((((triple9 triple6) -> rule2)) -> rule7) OR ((((triple9 ((triple10) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 ((triple10 triple9) -> rule1)) -> rule2)) -> rule7) OR ((((((triple6) -> rule6) triple6) -> rule2)) -> rule7) OR ((((((triple6) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule7) OR ((((((triple6) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10) -> rule3)) -> rule6) triple6) -> rule2)) -> rule7) OR ((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple10) -> rule3)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule7))] Fiona is kind.[(triple5)] Fiona is nice.[(triple6 OR ((triple10) -> rule3) OR ((triple10 triple4) -> rule4) OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple7) -> rule7)) -> rule4))] Fiona is red.[(triple7 OR ((triple9 triple6) -> rule2) OR ((triple9 ((triple10) -> rule3)) -> rule2) OR ((triple9 ((triple10 triple4) -> rule4)) -> rule2) OR ((triple9 ((triple10 triple9) -> rule1)) -> rule2) OR ((((triple6) -> rule6) triple6) -> rule2) OR ((((triple6) -> rule6) ((triple10) -> rule3)) -> rule2) OR ((((triple6) -> rule6) ((triple10 triple4) -> rule4)) -> rule2) OR ((((triple6) -> rule6) ((triple10 triple9) -> rule1)) -> rule2) OR ((((((triple10) -> rule3)) -> rule6) triple6) -> rule2) OR ((((((triple10 triple4) -> rule4)) -> rule6) triple6) -> rule2) OR ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule2) OR ((((((triple10) -> rule3)) -> rule6) ((triple10 triple4) -> rule4)) -> rule2) OR ((((((triple10) -> rule3)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2) OR ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10) -> rule3)) -> rule2) OR ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10 triple4) -> rule4)) -> rule2) OR ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2))] Fiona is rough.[(triple8 OR ((triple10 triple7) -> rule5) OR ((triple10 triple7) -> rule8) OR ((triple10 ((triple9 triple6) -> rule2)) -> rule5) OR ((triple10 ((triple9 triple6) -> rule2)) -> rule8) OR ((triple10 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((triple10 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule8) OR ((triple10 ((triple9 ((triple10 triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple10 ((triple9 ((triple10 triple4) -> rule4)) -> rule2)) -> rule8) OR ((triple10 ((triple9 ((triple10 triple9) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((triple9 ((triple10 triple9) -> rule1)) -> rule2)) -> rule8) OR ((triple10 ((((triple6) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple10 ((((triple6) -> rule6) triple6) -> rule2)) -> rule8) OR ((triple10 ((((triple6) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((triple10 ((((triple6) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule8) OR ((triple10 ((((triple6) -> rule6) ((triple10 triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple10 ((((triple6) -> rule6) ((triple10 triple4) -> rule4)) -> rule2)) -> rule8) OR ((triple10 ((((triple6) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((((triple6) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule8) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) triple6) -> rule2)) -> rule8) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) triple6) -> rule2)) -> rule8) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule8) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) ((triple10 triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) ((triple10 triple4) -> rule4)) -> rule2)) -> rule8) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((((((triple10) -> rule3)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule8) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10) -> rule3)) -> rule2)) -> rule8) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10 triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10 triple4) -> rule4)) -> rule2)) -> rule8) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((((((triple10 triple4) -> rule4)) -> rule6) ((triple10 triple9) -> rule1)) -> rule2)) -> rule8))] Fiona is round.[(triple9 OR ((triple6) -> rule6) OR ((((triple10) -> rule3)) -> rule6) OR ((((triple10 triple4) -> rule4)) -> rule6) OR ((((triple10 ((triple7) -> rule7)) -> rule4)) -> rule6))] Fiona is white.[(triple10)] @1: Erin is nice.[(((triple3) -> rule3) OR ((triple3 triple1) -> rule4) OR ((triple3 triple2) -> rule1))] @2: Erin is red.[(((triple2 ((triple3) -> rule3)) -> rule2) OR ((triple2 ((triple3 triple1) -> rule4)) -> rule2) OR ((triple2 ((triple3 triple2) -> rule1)) -> rule2) OR ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule3)) -> rule6) ((triple3 triple1) -> rule4)) -> rule2) OR ((((((triple3) -> rule3)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2) OR ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3) -> rule3)) -> rule2) OR ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3 triple1) -> rule4)) -> rule2) OR ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2))] @3: Erin is rough.[(((triple3 ((triple2 ((triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple3 ((triple2 ((triple3) -> rule3)) -> rule2)) -> rule8) OR ((triple3 ((triple2 ((triple3 triple1) -> rule4)) -> rule2)) -> rule5) OR ((triple3 ((triple2 ((triple3 triple1) -> rule4)) -> rule2)) -> rule8) OR ((triple3 ((triple2 ((triple3 triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple3 ((triple2 ((triple3 triple2) -> rule1)) -> rule2)) -> rule8) OR ((triple3 ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple3 ((((((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule8) OR ((triple3 ((((((triple3) -> rule3)) -> rule6) ((triple3 triple1) -> rule4)) -> rule2)) -> rule5) OR ((triple3 ((((((triple3) -> rule3)) -> rule6) ((triple3 triple1) -> rule4)) -> rule2)) -> rule8) OR ((triple3 ((((((triple3) -> rule3)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple3 ((((((triple3) -> rule3)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2)) -> rule8) OR ((triple3 ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule5) OR ((triple3 ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3) -> rule3)) -> rule2)) -> rule8) OR ((triple3 ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3 triple1) -> rule4)) -> rule2)) -> rule5) OR ((triple3 ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3 triple1) -> rule4)) -> rule2)) -> rule8) OR ((triple3 ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple3 ((((((triple3 triple1) -> rule4)) -> rule6) ((triple3 triple2) -> rule1)) -> rule2)) -> rule8))]