Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is white. Dave is young. Fiona is kind. Fiona is not quiet. Fiona is round. Fiona is white. White, smart things are kind. If something is quiet then it is smart. If something is kind and not white then it is young.
Fiona is young.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2 OR ((triple5 ((triple3) -> rule2)) -> rule1))] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Fiona is kind.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Dave is smart.[(((triple3) -> rule2))]