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