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