Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is white. Charlie is not young. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is white. Erin is young. Rough people are big. If Erin is blue and Erin is not young then Erin is not big. All big people are blue. White people are rough. If Charlie is big and Charlie is blue then Charlie is kind. If Charlie is young and Charlie is blue then Charlie is not white.
Charlie is cold.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] Charlie is blue.[(triple2 OR ((triple1) -> rule3) OR ((((triple5) -> rule1)) -> rule3) OR ((((((triple6) -> rule4)) -> rule1)) -> rule3))] Charlie is cold.[(triple3)] Charlie is kind.[(triple4 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule3)) -> rule5) OR ((((triple5) -> rule1) triple2) -> rule5) OR ((((triple5) -> rule1) ((triple1) -> rule3)) -> rule5) OR ((triple1 ((((triple5) -> rule1)) -> rule3)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) triple2) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((triple1) -> rule3)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule5) OR ((triple1 ((((((triple6) -> rule4)) -> rule1)) -> rule3)) -> rule5) OR ((((triple5) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule3)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule3)) -> rule5))] Charlie is not young.[(triple7)] Charlie is rough.[(triple5 OR ((triple6) -> rule4))] Charlie is white.[(triple6)] Erin is big.[(triple8 OR ((triple12) -> rule1) OR ((((triple13) -> rule4)) -> rule1))] Erin is blue.[(triple9 OR ((triple8) -> rule3) OR ((((triple12) -> rule1)) -> rule3) OR ((((((triple13) -> rule4)) -> rule1)) -> rule3))] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is rough.[(triple12 OR ((triple13) -> rule4))] Erin is white.[(triple13)] Erin is young.[(triple14)]