Anne is not big. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Gary is blue. Gary is furry. Gary is quiet. Harry is blue. Harry is furry. Harry is kind. If someone is furry and kind then they are red. If someone is big then they are red. All nice people are red. If someone is nice and not furry then they are not blue. If someone is quiet and nice then they are blue. If someone is red and not quiet then they are nice.
Gary is not furry.
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not big.[(triple1)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple4) -> rule3) OR ((triple2 triple3) -> rule1))] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple7) -> rule2) OR ((triple9) -> rule3))] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is quiet.[(triple13)] Harry is blue.[(triple14)] Harry is furry.[(triple15)] Harry is kind.[(triple16)] @1: Anne is blue.[(((triple5 triple4) -> rule5))] Harry is red.[(((triple15 triple16) -> rule1))]