Anne is big. Bob is kind. Bob is quiet. Fiona is green. Fiona is kind. Fiona is round. Harry is big. Harry is furry. Harry is green. Harry is red. If someone is kind then they are furry. If someone is kind then they are furry. If Fiona is red then Fiona is green. All big, furry people are green. All big people are kind. If Anne is furry and Anne is red then Anne is quiet. All green, big people are red.
Anne is not furry.
@0: Anne is big.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is round.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8 OR ((((triple7) -> rule5)) -> rule1) OR ((((triple7) -> rule5)) -> rule2))] Harry is green.[(triple9 OR ((triple7 triple8) -> rule4) OR ((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule4) OR ((triple7 ((((triple7) -> rule5)) -> rule2)) -> rule4))] Harry is red.[(triple10 OR ((triple9 triple7) -> rule7) OR ((((triple7 triple8) -> rule4) triple7) -> rule7) OR ((((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule4) triple7) -> rule7) OR ((((triple7 ((((triple7) -> rule5)) -> rule2)) -> rule4) triple7) -> rule7))] @1: Anne is kind.[(((triple1) -> rule5))] Bob is furry.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Fiona is furry.[(((triple5) -> rule1) OR ((triple5) -> rule2))] Harry is kind.[(((triple7) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule5)) -> rule2))] @3: Anne is green.[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4))] @4: Anne is red.[(((((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4) triple1) -> rule7) OR ((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) triple1) -> rule7))] @5: Anne is quiet.[(((((((triple1) -> rule5)) -> rule1) ((((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4) triple1) -> rule7)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) triple1) -> rule7)) -> rule6) OR ((((((triple1) -> rule5)) -> rule2) ((((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4) triple1) -> rule7)) -> rule6) OR ((((((triple1) -> rule5)) -> rule2) ((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) triple1) -> rule7)) -> rule6))]