Bob is big. Bob is blue. Bob is green. Bob is red. Bob is smart. Bob is young. Erin is big. Erin is not blue. Erin is green. Erin is not young. If someone is big and blue then they are furry. If Erin is smart and Erin is blue then Erin is not young.
Erin is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple9)] Erin is not blue.[(triple8)] Erin is not young.[(triple10)] @1: Bob is furry.[(((triple1 triple2) -> rule1))]