Bob is cold. Bob is red. Bob is white. Bob is young. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is white. Erin is cold. Erin is red. Erin is young. Gary is furry. Gary is quiet. Gary is red. All cold people are nice. If someone is nice then they are red. If someone is quiet then they are nice. If someone is quiet and nice then they are young. If someone is cold and quiet then they are nice. If someone is cold then they are furry. If Gary is quiet then Gary is white. If Erin is nice then Erin is white.
Bob is not nice.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2 OR ((((triple1) -> rule1)) -> rule2))] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple5) -> rule6))] Dave is nice.[(triple7 OR ((triple5) -> rule1) OR ((triple8) -> rule3) OR ((triple5 triple8) -> rule5))] Dave is quiet.[(triple8)] Dave is red.[(triple9 OR ((triple7) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple8) -> rule3)) -> rule2) OR ((((triple5 triple8) -> rule5)) -> rule2))] Dave is white.[(triple10)] Erin is cold.[(triple11)] Erin is red.[(triple12 OR ((((triple11) -> rule1)) -> rule2))] Erin is young.[(triple13)] Gary is furry.[(triple14)] Gary is quiet.[(triple15)] Gary is red.[(triple16 OR ((((triple15) -> rule3)) -> rule2))] @1: Bob is furry.[(((triple1) -> rule6))] Bob is nice.[(((triple1) -> rule1))] Dave is young.[(((triple8 triple7) -> rule4) OR ((triple8 ((triple5) -> rule1)) -> rule4) OR ((triple8 ((triple8) -> rule3)) -> rule4) OR ((triple8 ((triple5 triple8) -> rule5)) -> rule4))] Erin is furry.[(((triple11) -> rule6))] Erin is nice.[(((triple11) -> rule1))] Gary is nice.[(((triple15) -> rule3))] Gary is white.[(((triple15) -> rule7))] @2: Erin is white.[(((((triple11) -> rule1)) -> rule8))] Gary is young.[(((triple15 ((triple15) -> rule3)) -> rule4))]