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