Anne is nice. Bob is blue. Bob is smart. Bob is young. Dave is big. Dave is white. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. If something is young and rough then it is white. All nice things are white.
Fiona is nice.
@0: Anne is nice.[(triple1)] Bob is blue.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Dave is big.[(triple5)] Dave is white.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple7) -> rule2))] @1: Anne is white.[(((triple1) -> rule2))]