Anne is big. Anne is white. Dave is kind. Dave is rough. Dave is young. Fiona is big. Fiona is not young. All big things are blue. All big, rough things are blue. Kind, white things are not blue. Young, white things are rough. Blue, kind things are cold. Rough, cold things are not kind. All rough, kind things are white. If Anne is kind then Anne is blue.
Fiona is kind.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6)] Fiona is not young.[(triple7)] @1: Anne is blue.[(((triple1) -> rule1))] Dave is white.[(((triple4 triple3) -> rule7))] Fiona is blue.[(((triple6) -> rule1))] @2: Dave is not blue.[(((triple3 ((triple4 triple3) -> rule7)) -> rule3))]