Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. All green people are blue. If someone is red and cold then they are nice. If someone is quiet and red then they are blue. Smart people are red. If someone is blue then they are smart. If Erin is nice then Erin is blue.
Charlie is red.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule1) OR ((triple5 triple6) -> rule3) OR ((triple5 ((triple7) -> rule4)) -> rule3))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple6 triple2) -> rule2) OR ((((triple7) -> rule4) triple2) -> rule2) OR ((((((triple1) -> rule5)) -> rule4) triple2) -> rule2) OR ((((((((triple3) -> rule1)) -> rule5)) -> rule4) triple2) -> rule2))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple7) -> rule4) OR ((((triple1) -> rule5)) -> rule4) OR ((((((triple3) -> rule1)) -> rule5)) -> rule4))] Charlie is smart.[(triple7 OR ((triple1) -> rule5) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple5 triple6) -> rule3)) -> rule5))] Erin is blue.[(triple8 OR ((triple10) -> rule1) OR ((triple11) -> rule6) OR ((triple12 triple13) -> rule3) OR ((((triple13 triple9) -> rule2)) -> rule6) OR ((triple12 ((triple14) -> rule4)) -> rule3) OR ((((((triple14) -> rule4) triple9) -> rule2)) -> rule6))] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11 OR ((triple13 triple9) -> rule2) OR ((((triple14) -> rule4) triple9) -> rule2) OR ((((((triple8) -> rule5)) -> rule4) triple9) -> rule2) OR ((((((((triple10) -> rule1)) -> rule5)) -> rule4) triple9) -> rule2))] Erin is quiet.[(triple12)] Erin is red.[(triple13 OR ((triple14) -> rule4) OR ((((triple8) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule5)) -> rule4) OR ((((((triple11) -> rule6)) -> rule5)) -> rule4))] Erin is smart.[(triple14 OR ((triple8) -> rule5) OR ((((triple10) -> rule1)) -> rule5) OR ((((triple11) -> rule6)) -> rule5) OR ((((triple12 triple13) -> rule3)) -> rule5) OR ((((((triple13 triple9) -> rule2)) -> rule6)) -> rule5))]