Anne is furry. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is round. Fiona is cold. Fiona is red. Gary is rough. All round, furry people are red. All nice, red people are furry. All red people are round. If someone is furry and cold then they are rough. Round people are furry. All furry people are red. If Dave is nice and Dave is furry then Dave is green. If Anne is red then Anne is nice.
Anne is not rough.
@0: Anne is furry.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple7) -> rule5) OR ((triple5 triple6) -> rule2) OR ((((triple6) -> rule3)) -> rule5))] Dave is green.[(triple4 OR ((triple5 triple3) -> rule7) OR ((triple5 ((triple7) -> rule5)) -> rule7) OR ((triple5 ((triple5 triple6) -> rule2)) -> rule7) OR ((triple5 ((((triple6) -> rule3)) -> rule5)) -> rule7))] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple3) -> rule6) OR ((triple7 triple3) -> rule1) OR ((((triple7) -> rule5)) -> rule6) OR ((triple7 ((triple7) -> rule5)) -> rule1))] Dave is round.[(triple7 OR ((triple6) -> rule3) OR ((((triple3) -> rule6)) -> rule3))] Fiona is cold.[(triple8)] Fiona is red.[(triple9)] Gary is rough.[(triple10)] @1: Anne is red.[(((triple1) -> rule6))] Dave is rough.[(((triple3 triple2) -> rule4) OR ((((triple7) -> rule5) triple2) -> rule4) OR ((((triple5 triple6) -> rule2) triple2) -> rule4) OR ((((((triple6) -> rule3)) -> rule5) triple2) -> rule4))] Fiona is round.[(((triple9) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule6)) -> rule8))] Anne is round.[(((((triple1) -> rule6)) -> rule3))] Fiona is furry.[(((((triple9) -> rule3)) -> rule5))] @3: Fiona is rough.[(((((((triple9) -> rule3)) -> rule5) triple8) -> rule4))]