Fiona is not furry. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is smart. Fiona is young. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is not smart. Harry is young. If someone is smart then they are red. If someone is quiet then they are not nice. If Fiona is green and Fiona is not quiet then Fiona is not furry. If Harry is young and Harry is nice then Harry is furry. If someone is nice then they are not furry. If Harry is not nice then Harry is red.
Harry is not young.
@0: Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is not furry.[(triple1 OR ((triple3) -> rule5) OR ((triple2 triple4) -> rule3))] Fiona is not quiet.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is not smart.[(triple11)] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((((triple9) -> rule2)) -> rule6))] Harry is young.[(triple12)] @1: Fiona is red.[(((triple5) -> rule1))] Harry is not nice.[(((triple9) -> rule2))]