Anne is furry. Anne is not young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. Fiona is not young. Harry is blue. Harry is nice. Harry is white. If someone is red and not white then they are blue. All blue, white people are big. If Fiona is white then Fiona is nice. If Harry is furry then Harry is big. If Fiona is nice and Fiona is not red then Fiona is furry. If Fiona is young and Fiona is blue then Fiona is big. If someone is blue and not furry then they are young. If someone is white and not furry then they are young.
Harry is white.
@0: Anne is furry.[(triple1)] Anne is not young.[(triple2)] Fiona is big.[(triple3 OR ((triple4 triple8) -> rule2))] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6 OR ((triple8) -> rule3))] Fiona is not young.[(triple9)] Fiona is red.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple10)] Harry is nice.[(triple11)] Harry is white.[(triple12)] @1: Harry is big.[(((triple10 triple12) -> rule2))]