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