Bob is not blue. Bob is cold. Bob is furry. Bob is not green. Bob is not young. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is nice. If Bob is big and Bob is nice then Bob is young. Furry, young people are not cold. Furry people are cold. If someone is green and not nice then they are young. If someone is cold and blue then they are green. If someone is green and nice then they are blue.
Dave is furry.
@0: Bob is cold.[(triple2 OR ((triple3) -> rule3))] Bob is furry.[(triple3)] Bob is not blue.[(triple1)] Bob is not green.[(triple4)] Bob is not young.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7 OR ((triple8) -> rule3))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] @1: Dave is blue.[(((triple9 triple10) -> rule6))]