Anne is kind. Anne is quiet. Anne is not red. Anne is rough. Anne is round. Anne is young. Bob is kind. Bob is red. Bob is not rough. Bob is round. Bob is young. Fiona is not kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. If Anne is red then Anne is kind. If Bob is rough then Bob is smart. If Bob is round and Bob is rough then Bob is smart. If someone is young and not round then they are quiet. If someone is rough and smart then they are quiet. All kind people are smart.
Fiona is red.
@0: Anne is kind.[(triple1)] Anne is not red.[(triple3)] Anne is quiet.[(triple2 OR ((triple4 ((triple1) -> rule6)) -> rule5))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Bob is kind.[(triple7)] Bob is not rough.[(triple9)] Bob is red.[(triple8)] Bob is round.[(triple10)] Bob is young.[(triple11)] Fiona is not kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] Fiona is young.[(triple16)] @1: Anne is smart.[(((triple1) -> rule6))] Bob is smart.[(((triple7) -> rule6))]