Charlie is big. Charlie is nice. Charlie is rough. Dave is big. Dave is quiet. Erin is white. Fiona is rough. If Dave is green then Dave is nice. If someone is green then they are quiet. All big people are green. Nice, big people are white. All nice, big people are rough. Red, big people are white.
Dave is white.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3 OR ((triple2 triple1) -> rule5))] Dave is big.[(triple4)] Dave is quiet.[(triple5 OR ((((triple4) -> rule3)) -> rule2))] Erin is white.[(triple6)] Fiona is rough.[(triple7)] @1: Charlie is green.[(((triple1) -> rule3))] Charlie is white.[(((triple2 triple1) -> rule4))] Dave is green.[(((triple4) -> rule3))] @2: Charlie is quiet.[(((((triple1) -> rule3)) -> rule2))] Dave is nice.[(((((triple4) -> rule3)) -> rule1))] @3: Dave is rough.[(((((((triple4) -> rule3)) -> rule1) triple4) -> rule5))] Dave is white.[(((((((triple4) -> rule3)) -> rule1) triple4) -> rule4))]