Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is white. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is round. Erin is white. White, blue people are round. Round, green people are cold. All cold, blue people are round. All big, blue people are round. All round, blue people are big. Nice people are round. Cold, blue people are round. If Erin is green and Erin is cold then Erin is blue.
Erin is not round.
@0: Charlie is big.[(triple1 OR ((triple6 triple2) -> rule5) OR ((((triple5) -> rule6) triple2) -> rule5) OR ((((triple3 triple2) -> rule3) triple2) -> rule5) OR ((((triple3 triple2) -> rule7) triple2) -> rule5) OR ((((triple7 triple2) -> rule1) triple2) -> rule5))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6 triple4) -> rule2) OR ((((triple5) -> rule6) triple4) -> rule2) OR ((((triple1 triple2) -> rule4) triple4) -> rule2) OR ((((triple7 triple2) -> rule1) triple4) -> rule2))] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule6) OR ((triple1 triple2) -> rule4) OR ((triple3 triple2) -> rule3) OR ((triple3 triple2) -> rule7) OR ((triple7 triple2) -> rule1))] Charlie is white.[(triple7)] Erin is big.[(triple8 OR ((triple13 triple9) -> rule5) OR ((triple13 ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple12) -> rule6) triple9) -> rule5) OR ((((triple10 triple9) -> rule3) triple9) -> rule5) OR ((((triple10 triple9) -> rule7) triple9) -> rule5) OR ((((triple14 triple9) -> rule1) triple9) -> rule5) OR ((((triple12) -> rule6) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule3) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule7) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple14 triple9) -> rule1) ((triple11 triple10) -> rule8)) -> rule5) OR ((triple13 ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) triple9) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) triple9) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) triple9) -> rule5) OR ((((triple12) -> rule6) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule3) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule7) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple14 triple9) -> rule1) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((triple13 ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple12) -> rule6) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule3) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule7) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 triple9) -> rule1) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5))] Erin is blue.[(triple9 OR ((triple11 triple10) -> rule8) OR ((triple11 ((triple13 triple11) -> rule2)) -> rule8) OR ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8))] Erin is cold.[(triple10 OR ((triple13 triple11) -> rule2) OR ((((triple12) -> rule6) triple11) -> rule2) OR ((((triple14 triple9) -> rule1) triple11) -> rule2) OR ((((triple8 triple9) -> rule4) triple11) -> rule2))] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is round.[(triple13 OR ((triple12) -> rule6) OR ((triple10 triple9) -> rule3) OR ((triple10 triple9) -> rule7) OR ((triple14 triple9) -> rule1) OR ((triple8 triple9) -> rule4) OR ((triple10 ((triple11 triple10) -> rule8)) -> rule3) OR ((triple10 ((triple11 triple10) -> rule8)) -> rule7) OR ((triple14 ((triple11 triple10) -> rule8)) -> rule1) OR ((triple8 ((triple11 triple10) -> rule8)) -> rule4))] Erin is white.[(triple14)]