Dave is not blue. Dave is not green. Dave is kind. Dave is not nice. Dave is quiet. Dave is rough. Dave is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is rough. Fiona is young. If Fiona is young and Fiona is nice then Fiona is kind. Blue people are young. If Fiona is young and Fiona is kind then Fiona is blue. Green people are not nice. If someone is quiet and green then they are blue. If someone is nice and not kind then they are rough. If someone is green and not blue then they are rough. If someone is nice and blue then they are rough.
Fiona is nice.
@0: Dave is kind.[(triple3)] Dave is not blue.[(triple1)] Dave is not green.[(triple2)] Dave is not nice.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple12 triple9) -> rule5) OR ((triple14 triple10) -> rule3))] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is not nice.[(triple11 OR ((triple9) -> rule4))] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple14 OR ((triple8) -> rule2) OR ((((triple12 triple9) -> rule5)) -> rule2))]