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