Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is not quiet. Bob is white. Bob is young. Gary is big. Gary is blue. Gary is not cold. Gary is furry. Gary is young. If Bob is quiet then Bob is furry. If something is furry and blue then it is big. All blue, cold things are big. Quiet, blue things are white. All blue things are furry. If something is cold and quiet then it is blue. If something is furry and not blue then it is not young. Cold things are young.
Bob is not big.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule3) OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((triple2) -> rule5))] Bob is not quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule8))] Gary is big.[(triple8 OR ((triple11 triple9) -> rule2) OR ((((triple9) -> rule5) triple9) -> rule2))] Gary is blue.[(triple9)] Gary is furry.[(triple11 OR ((triple9) -> rule5))] Gary is not cold.[(triple10)] Gary is young.[(triple12)]