Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Harry is blue. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is young. If something is red then it is blue. If something is blue then it is red.
Fiona is not smart.
@0: Fiona is blue.[(triple1 OR ((triple4) -> rule1))] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple1) -> rule2))] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is blue.[(triple8 OR ((triple11) -> rule1))] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11 OR ((triple8) -> rule2))] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]