Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is young. If Erin is kind then Erin is cold. All cold, young things are nice. If Charlie is rough then Charlie is kind. If something is kind and young then it is cold. If Erin is round then Erin is green. Nice things are rough.
Charlie is not kind.
@0: Charlie is cold.[(triple1 OR ((triple3 triple7) -> rule4) OR ((((triple5) -> rule3) triple7) -> rule4) OR ((((((triple4) -> rule6)) -> rule3) triple7) -> rule4))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple5) -> rule3) OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple1 triple7) -> rule2)) -> rule6)) -> rule3))] Charlie is nice.[(triple4 OR ((triple1 triple7) -> rule2) OR ((((triple3 triple7) -> rule4) triple7) -> rule2) OR ((((((triple5) -> rule3) triple7) -> rule4) triple7) -> rule2))] Charlie is rough.[(triple5 OR ((triple4) -> rule6) OR ((((triple1 triple7) -> rule2)) -> rule6) OR ((((((triple3 triple7) -> rule4) triple7) -> rule2)) -> rule6))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule1) OR ((triple10 triple14) -> rule4))] Erin is green.[(triple9 OR ((triple13) -> rule5))] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((triple8 triple14) -> rule2) OR ((((triple10) -> rule1) triple14) -> rule2) OR ((((triple10 triple14) -> rule4) triple14) -> rule2))] Erin is rough.[(triple12 OR ((triple11) -> rule6) OR ((((triple8 triple14) -> rule2)) -> rule6) OR ((((((triple10) -> rule1) triple14) -> rule2)) -> rule6) OR ((((((triple10 triple14) -> rule4) triple14) -> rule2)) -> rule6))] Erin is round.[(triple13)] Erin is young.[(triple14)]