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