Anne is kind. Anne is rough. Anne is round. Bob is blue. Bob is kind. Bob is rough. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is round. Erin is furry. Erin is kind. Erin is round. Rough people are blue. Kind people are rough. All kind, quiet people are round. If Erin is blue and Erin is rough then Erin is cold. All rough, blue people are furry. All rough people are furry.
Anne is cold.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule2))] Anne is round.[(triple3)] Bob is blue.[(triple4 OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Bob is kind.[(triple5)] Bob is rough.[(triple6 OR ((triple5) -> rule2))] Dave is blue.[(triple7 OR ((triple11) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Dave is cold.[(triple8)] Dave is furry.[(triple9 OR ((triple11) -> rule6) OR ((triple11 triple7) -> rule5) OR ((((triple10) -> rule2)) -> rule6) OR ((triple11 ((triple11) -> rule1)) -> rule5) OR ((((triple10) -> rule2) triple7) -> rule5) OR ((((triple10) -> rule2) ((triple11) -> rule1)) -> rule5) OR ((triple11 ((((triple10) -> rule2)) -> rule1)) -> rule5) OR ((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule1)) -> rule5))] Dave is kind.[(triple10)] Dave is rough.[(triple11 OR ((triple10) -> rule2))] Dave is round.[(triple12)] Erin is furry.[(triple13 OR ((((triple14) -> rule2)) -> rule6) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule1)) -> rule5))] Erin is kind.[(triple14)] Erin is round.[(triple15)] @1: Anne is blue.[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Anne is furry.[(((triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple2) -> rule1)) -> rule5) OR ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule5) OR ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule5))] Bob is furry.[(((triple6) -> rule6) OR ((triple6 triple4) -> rule5) OR ((((triple5) -> rule2)) -> rule6) OR ((triple6 ((triple6) -> rule1)) -> rule5) OR ((((triple5) -> rule2) triple4) -> rule5) OR ((((triple5) -> rule2) ((triple6) -> rule1)) -> rule5) OR ((triple6 ((((triple5) -> rule2)) -> rule1)) -> rule5) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule1)) -> rule5))] Erin is rough.[(((triple14) -> rule2))] @2: Erin is blue.[(((((triple14) -> rule2)) -> rule1))] @3: Erin is cold.[(((((((triple14) -> rule2)) -> rule1) ((triple14) -> rule2)) -> rule4))]