Dave is kind. Dave is quiet. Dave is young. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is rough. Fiona is smart. Harry is kind. Harry is nice. Harry is rough. Harry is not young. All young things are not blue. If something is kind and smart then it is not blue. Blue things are rough. If something is blue then it is not rough. If something is young and quiet then it is smart. If something is rough then it is smart.
Fiona is young.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is not quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule6))] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is not young.[(triple12)] Harry is rough.[(triple11)] @1: Dave is not blue.[(((triple3) -> rule1) OR ((triple1 ((triple3 triple2) -> rule5)) -> rule2))] Dave is smart.[(((triple3 triple2) -> rule5))] Fiona is not blue.[(((triple4 triple8) -> rule2) OR ((triple4 ((triple7) -> rule6)) -> rule2))] Harry is smart.[(((triple11) -> rule6))] @2: Harry is not blue.[(((triple9 ((triple11) -> rule6)) -> rule2))]