Bob is furry. Bob is nice. Fiona is big. Fiona is furry. Fiona is red. Fiona is smart. Fiona is white. Gary is furry. Gary is kind. Gary is smart. Gary is white. Harry is furry. Harry is nice. Harry is red. Harry is white. If Harry is smart and Harry is big then Harry is white. If something is white and kind then it is furry. Kind things are furry. All kind, white things are big. If something is white and nice then it is smart. White, nice things are smart.
Harry is furry.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is furry.[(triple8 OR ((triple9) -> rule3) OR ((triple11 triple9) -> rule2))] Gary is kind.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15)] @1: Gary is big.[(((triple9 triple11) -> rule4))] Harry is smart.[(((triple15 triple13) -> rule5) OR ((triple15 triple13) -> rule6))]