Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. Erin is big. Erin is not blue. Erin is green. Erin is not nice. Erin is not red. Erin is rough. Erin is young. If Erin is rough then Erin is not blue. All blue people are green. All green, nice people are young. If Erin is big then Erin is young. Blue, nice people are big. If Erin is nice and Erin is not young then Erin is red.
Charlie is not rough.
@0: Charlie is big.[(triple1 OR ((triple2 triple4) -> rule5))] Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple2) -> rule2))] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7 OR ((triple3 triple4) -> rule3) OR ((((triple2) -> rule2) triple4) -> rule3))] Erin is big.[(triple8)] Erin is green.[(triple10)] Erin is not blue.[(triple9 OR ((triple13) -> rule1))] Erin is not nice.[(triple11)] Erin is not red.[(triple12)] Erin is rough.[(triple13)] Erin is young.[(triple14 OR ((triple8) -> rule4))]