Anne is white. Dave is red. Fiona is white. Harry is nice. If someone is white and green then they are young. Green people are kind. Kind people are round. If Harry is white then Harry is young. If Anne is white and Anne is green then Anne is nice. If someone is kind and nice then they are red. If someone is nice then they are kind. If someone is white then they are nice.
Dave is not kind.
@0: Anne is white.[(triple1)] Dave is red.[(triple2)] Fiona is white.[(triple3)] Harry is nice.[(triple4)] @1: Anne is nice.[(((triple1) -> rule8))] Fiona is nice.[(((triple3) -> rule8))] Harry is kind.[(((triple4) -> rule7))] @2: Anne is kind.[(((((triple1) -> rule8)) -> rule7))] Fiona is kind.[(((((triple3) -> rule8)) -> rule7))] Harry is red.[(((((triple4) -> rule7) triple4) -> rule6))] Harry is round.[(((((triple4) -> rule7)) -> rule3))] @3: Anne is red.[(((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule6))] Anne is round.[(((((((triple1) -> rule8)) -> rule7)) -> rule3))] Fiona is red.[(((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule6))] Fiona is round.[(((((((triple3) -> rule8)) -> rule7)) -> rule3))]