Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Erin is big. Erin is blue. Erin is white. All blue things are kind. Nice, smart things are big.
Charlie is green.
@0: Charlie is big.[(triple1 OR ((triple5 triple6) -> rule2))] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple2) -> rule1))] Charlie is nice.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is white.[(triple10)] @1: Erin is kind.[(((triple9) -> rule1))]