Bob is not cold. Bob is not nice. Bob is quiet. Bob is smart. Erin is blue. Erin is not smart. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is smart. Big things are furry. If something is blue and quiet then it is big. If Gary is quiet then Gary is smart. If Bob is quiet then Bob is blue. If Bob is furry and Bob is big then Bob is smart. If Bob is quiet and Bob is not big then Bob is not furry. If something is furry and not smart then it is nice. If something is quiet and not big then it is nice.
Bob is not blue.
@0: Bob is not cold.[(triple1)] Bob is not nice.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4 OR ((((((((triple3) -> rule4) triple3) -> rule2)) -> rule1) ((((triple3) -> rule4) triple3) -> rule2)) -> rule5))] Erin is blue.[(triple5)] Erin is not smart.[(triple6)] Gary is big.[(triple7 OR ((triple8 triple11) -> rule2))] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple7) -> rule1) OR ((((triple8 triple11) -> rule2)) -> rule1))] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is smart.[(triple12 OR ((triple11) -> rule3))] @1: Bob is blue.[(((triple3) -> rule4))] @2: Bob is big.[(((((triple3) -> rule4) triple3) -> rule2))] @3: Bob is furry.[(((((((triple3) -> rule4) triple3) -> rule2)) -> rule1))]