Dave is blue. Dave is green. Dave is kind. Dave is smart. Dave is young. Fiona is blue. Fiona is red. Harry is green. Harry is nice. Harry is red. If Harry is red and Harry is green then Harry is blue. If Dave is red then Dave is blue. All nice people are red. All nice, young people are kind. If someone is red and nice then they are blue. All green, nice people are smart.
Fiona is not smart.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is red.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule3))] @1: Harry is blue.[(((triple10 triple8) -> rule1) OR ((triple10 triple9) -> rule5) OR ((((triple9) -> rule3) triple8) -> rule1) OR ((((triple9) -> rule3) triple9) -> rule5))] Harry is smart.[(((triple8 triple9) -> rule6))]