Bob is cold. Bob is nice. Bob is not red. Bob is smart. Bob is young. Erin is cold. Erin is green. Erin is not kind. Erin is nice. Erin is red. Erin is smart. Erin is young. All nice things are smart. If something is cold and not red then it is smart. All green, nice things are young. If Erin is not green then Erin is nice. If something is cold and not nice then it is kind. Young things are not kind. If Erin is not cold then Erin is not smart. If Erin is cold and Erin is not nice then Erin is smart.
Erin is young.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is not red.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule1) OR ((triple1 triple3) -> rule2))] Bob is young.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple9)] Erin is not kind.[(triple8 OR ((triple12) -> rule6) OR ((((triple7 triple9) -> rule3)) -> rule6))] Erin is red.[(triple10)] Erin is smart.[(triple11 OR ((triple9) -> rule1))] Erin is young.[(triple12 OR ((triple7 triple9) -> rule3))] @1: Bob is not kind.[(((triple5) -> rule6))]