Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is round. Dave is green. Dave is kind. Dave is rough. Dave is round. Erin is cold. Erin is rough. Erin is round. All round things are green. All green things are kind. Cold, blue things are round.
Dave is cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple5) -> rule1))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is green.[(triple6 OR ((triple9) -> rule1))] Dave is kind.[(triple7 OR ((triple6) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Dave is rough.[(triple8)] Dave is round.[(triple9)] Erin is cold.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] @1: Anne is kind.[(((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Erin is green.[(((triple12) -> rule1))] @2: Erin is kind.[(((((triple12) -> rule1)) -> rule2))]