Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Dave is big. Dave is red. Dave is rough. Dave is not white. Erin is big. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is white. All red people are nice. If someone is nice and green then they are white.
Charlie is big.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2 OR ((triple4) -> rule1))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((triple2 triple1) -> rule2) OR ((((triple4) -> rule1) triple1) -> rule2))] Dave is big.[(triple6)] Dave is not white.[(triple9)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Erin is big.[(triple10)] Erin is nice.[(triple11 OR ((triple13) -> rule1))] Erin is quiet.[(triple12)] Erin is red.[(triple13)] Erin is rough.[(triple14)] Erin is white.[(triple15)] @1: Dave is nice.[(((triple7) -> rule1))]