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