Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Dave is blue. Dave is nice. Dave is red. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is smart. If Dave is red and Dave is blue then Dave is furry.
Harry is not nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Dave is blue.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16)] @1: Dave is furry.[(((triple10 triple8) -> rule1))]