Bob is blue. Charlie is big. Charlie is blue. Charlie is green. Charlie is rough. Charlie is smart. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is smart. Gary is furry. Gary is green. Gary is rough. Rough, big people are green. If Erin is rough and Erin is nice then Erin is blue. All blue people are green.
Charlie is not big.
@0: Bob is blue.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4 OR ((triple3) -> rule3) OR ((triple5 triple2) -> rule1))] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8 OR ((triple12 triple11) -> rule2))] Erin is furry.[(triple9)] Erin is green.[(triple10 OR ((triple8) -> rule3) OR ((triple12 triple7) -> rule1) OR ((((triple12 triple11) -> rule2)) -> rule3))] Erin is nice.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Gary is furry.[(triple14)] Gary is green.[(triple15)] Gary is rough.[(triple16)] @1: Bob is green.[(((triple1) -> rule3))]