Anne is blue. Dave is green. Fiona is round. Harry is kind. All furry people are kind. If Dave is white and Dave is blue then Dave is round. If Anne is blue and Anne is round then Anne is not green. All blue people are green. Green people are furry. If Harry is not green then Harry is not big. If someone is furry then they are not big. If someone is green and not round then they are big.
Anne is white.
@0: Anne is blue.[(triple1)] Dave is green.[(triple2)] Fiona is round.[(triple3)] Harry is kind.[(triple4)] @1: Anne is green.[(((triple1) -> rule4))] Dave is furry.[(((triple2) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule5))] Dave is kind.[(((((triple2) -> rule5)) -> rule1))] Dave is not big.[(((((triple2) -> rule5)) -> rule7))] @3: Anne is kind.[(((((((triple1) -> rule4)) -> rule5)) -> rule1))] Anne is not big.[(((((((triple1) -> rule4)) -> rule5)) -> rule7))]