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