Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is smart. Gary is big. Gary is not furry. Gary is nice. Gary is red. Gary is smart. If Gary is smart then Gary is big. All cold people are smart. If someone is blue and cold then they are not red. If someone is furry and nice then they are not red. If someone is big then they are cold. If Gary is big and Gary is furry then Gary is not red. If Bob is smart then Bob is furry. All red people are not furry.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5) -> rule7) OR ((((((triple1) -> rule5)) -> rule2)) -> rule7))] Bob is nice.[(triple4)] Bob is smart.[(triple5 OR ((((triple1) -> rule5)) -> rule2))] Gary is big.[(triple6 OR ((triple10) -> rule1))] Gary is nice.[(triple8)] Gary is not furry.[(triple7 OR ((triple9) -> rule8))] Gary is red.[(triple9)] Gary is smart.[(triple10 OR ((((triple6) -> rule5)) -> rule2))] @1: Bob is cold.[(((triple1) -> rule5))] Bob is not red.[(((triple3 triple4) -> rule4) OR ((triple2 ((triple1) -> rule5)) -> rule3) OR ((((triple5) -> rule7) triple4) -> rule4) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple4) -> rule4))] Gary is cold.[(((triple6) -> rule5) OR ((((triple10) -> rule1)) -> rule5))]