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