Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is young. Erin is not blue. Erin is cold. Erin is not green. Erin is nice. Erin is round. Erin is young. Gary is blue. Gary is not cold. Gary is nice. Gary is young. If Gary is round then Gary is not nice. If someone is round then they are big. Nice, green people are big. If someone is nice and not young then they are cold. If someone is nice and not green then they are round. All big people are round. Green, nice people are blue. If someone is nice and not young then they are blue.
Erin is not cold.
@0: Charlie is big.[(triple1 OR ((triple5 triple4) -> rule3))] Charlie is blue.[(triple2 OR ((triple4 triple5) -> rule7))] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is young.[(triple6)] Erin is cold.[(triple8)] Erin is nice.[(triple10)] Erin is not blue.[(triple7)] Erin is not green.[(triple9)] Erin is round.[(triple11 OR ((triple10 triple9) -> rule5))] Erin is young.[(triple12)] Gary is blue.[(triple13)] Gary is nice.[(triple15)] Gary is not cold.[(triple14)] Gary is young.[(triple16)] @1: Charlie is round.[(((triple1) -> rule6) OR ((((triple5 triple4) -> rule3)) -> rule6))] Erin is big.[(((triple11) -> rule2) OR ((((triple10 triple9) -> rule5)) -> rule2))]