Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is young. Charlie is green. Charlie is kind. Charlie is round. Charlie is young. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. All young things are green. All kind things are red. All red, kind things are green. All furry, nice things are green. If Anne is red and Anne is round then Anne is furry. All red, green things are kind. All round things are red. All kind, green things are red.
Anne is not round.
@0: Anne is furry.[(triple1 OR ((triple4 triple5) -> rule5) OR ((((triple2) -> rule2) triple5) -> rule5) OR ((((triple5) -> rule7) triple5) -> rule5) OR ((((triple2 ((triple6) -> rule1)) -> rule8) triple5) -> rule5))] Anne is kind.[(triple2 OR ((triple4 ((triple6) -> rule1)) -> rule6) OR ((triple4 ((triple1 triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule7) ((triple6) -> rule1)) -> rule6) OR ((((triple5) -> rule7) ((triple1 triple3) -> rule4)) -> rule6) OR ((triple4 ((((triple4 triple5) -> rule5) triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule7) ((((triple4 triple5) -> rule5) triple3) -> rule4)) -> rule6) OR ((triple4 ((((((triple5) -> rule7) triple5) -> rule5) triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule7) ((((((triple5) -> rule7) triple5) -> rule5) triple3) -> rule4)) -> rule6))] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule2) OR ((triple5) -> rule7) OR ((triple2 ((triple6) -> rule1)) -> rule8) OR ((triple2 ((triple1 triple3) -> rule4)) -> rule8))] Anne is round.[(triple5)] Anne is young.[(triple6)] Charlie is green.[(triple7 OR ((triple10) -> rule1) OR ((((triple8) -> rule2) triple8) -> rule3) OR ((((triple9) -> rule7) triple8) -> rule3))] Charlie is kind.[(triple8 OR ((((triple9) -> rule7) triple7) -> rule6) OR ((((triple9) -> rule7) ((triple10) -> rule1)) -> rule6))] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12 OR ((triple15) -> rule1) OR ((triple11 triple13) -> rule4))] Fiona is nice.[(triple13)] Fiona is red.[(triple14)] Fiona is young.[(triple15)] @1: Anne is green.[(((triple6) -> rule1) OR ((triple1 triple3) -> rule4) OR ((triple4 triple2) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule3) OR ((((triple5) -> rule7) triple2) -> rule3) OR ((((triple4 triple5) -> rule5) triple3) -> rule4) OR ((((((triple2) -> rule2) triple5) -> rule5) triple3) -> rule4) OR ((((((triple5) -> rule7) triple5) -> rule5) triple3) -> rule4))] Charlie is red.[(((triple8) -> rule2) OR ((triple9) -> rule7) OR ((triple8 triple7) -> rule8) OR ((triple8 ((triple10) -> rule1)) -> rule8))] Fiona is kind.[(((triple14 triple12) -> rule6) OR ((triple14 ((triple15) -> rule1)) -> rule6) OR ((triple14 ((triple11 triple13) -> rule4)) -> rule6))]