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