Bob is cold. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is not smart. Charlie is not young. Dave is not rough. Dave is smart. Erin is cold. Erin is furry. Erin is rough. Erin is smart. Red things are green. If something is green then it is cold. If something is smart then it is red.
Erin is not young.
@0: Bob is cold.[(triple1)] Charlie is cold.[(triple2 OR ((triple4) -> rule2))] Charlie is green.[(triple4)] Charlie is not furry.[(triple3)] Charlie is not smart.[(triple5)] Charlie is not young.[(triple6)] Dave is not rough.[(triple7)] Dave is smart.[(triple8)] Erin is cold.[(triple9 OR ((((((triple12) -> rule3)) -> rule1)) -> rule2))] Erin is furry.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] @1: Dave is red.[(((triple8) -> rule3))] Erin is red.[(((triple12) -> rule3))] @2: Dave is green.[(((((triple8) -> rule3)) -> rule1))] Erin is green.[(((((triple12) -> rule3)) -> rule1))] @3: Dave is cold.[(((((((triple8) -> rule3)) -> rule1)) -> rule2))]