Anne is kind. Anne is rough. Anne is young. Dave is big. Dave is kind. Dave is white. Fiona is big. Fiona is kind. Fiona is smart. Fiona is young. If Dave is big then Dave is nice. If someone is big then they are smart. If someone is smart then they are rough.
Fiona is rough.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is smart.[(triple9 OR ((triple7) -> rule2))] Fiona is young.[(triple10)] @1: Dave is nice.[(((triple4) -> rule1))] Dave is smart.[(((triple4) -> rule2))] Fiona is rough.[(((triple9) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] @2: Dave is rough.[(((((triple4) -> rule2)) -> rule3))]