Charlie is green. Charlie is red. Charlie is round. Charlie is smart. Dave is red. Dave is round. Dave is smart. Fiona is green. Fiona is smart. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. If someone is round and red then they are nice. Young, smart people are round. All young, smart people are red.
Fiona is not red.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is green.[(triple8)] Fiona is smart.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple16 triple15) -> rule3)) -> rule1) OR ((((triple16 triple15) -> rule2) triple13) -> rule1) OR ((((triple16 triple15) -> rule2) ((triple16 triple15) -> rule3)) -> rule1))] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((triple16 triple15) -> rule3))] Harry is round.[(triple14 OR ((triple16 triple15) -> rule2))] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Charlie is nice.[(((triple3 triple2) -> rule1))] Dave is nice.[(((triple6 triple5) -> rule1))]