Anne is cold. Anne is white. Bob is cold. Bob is nice. Bob is red. Bob is smart. Charlie is cold. Erin is cold. Erin is furry. Erin is red. Erin is white. Erin is young. If Anne is white then Anne is furry. All cold things are young. Nice things are smart.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule3))] Charlie is cold.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is red.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple8) -> rule2))] @1: Anne is furry.[(((triple2) -> rule1))] Anne is young.[(((triple1) -> rule2))] Bob is young.[(((triple3) -> rule2))] Charlie is young.[(((triple7) -> rule2))]