Charlie is big. Dave is white. Fiona is not quiet. Fiona is red. Harry is rough. Harry is not white. Harry is young. If Charlie is white then Charlie is big. If Dave is nice then Dave is not rough. All red, nice things are rough. If Dave is red then Dave is young. If Harry is rough and Harry is white then Harry is red. If something is young and not big then it is nice. All big things are nice. Nice, big things are red.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Dave is white.[(triple2)] Fiona is not quiet.[(triple3)] Fiona is red.[(triple4)] Harry is not white.[(triple6)] Harry is rough.[(triple5)] Harry is young.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule7))] @2: Charlie is red.[(((((triple1) -> rule7) triple1) -> rule8))] @3: Charlie is rough.[(((((((triple1) -> rule7) triple1) -> rule8) ((triple1) -> rule7)) -> rule3))]