Charlie is big. Dave is quiet. Fiona is big. Red, rough people are big. All white, rough people are quiet. All nice people are quiet. Quiet people are nice. Rough people are white. All nice people are white. If Dave is quiet and Dave is red then Dave is big. Quiet people are rough.
Charlie is red.
@0: Charlie is big.[(triple1)] Dave is quiet.[(triple2)] Fiona is big.[(triple3)] @1: Dave is nice.[(((triple2) -> rule4))] Dave is rough.[(((triple2) -> rule8))] @2: Dave is white.[(((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule8)) -> rule5))]