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