Anne is red. Bob is blue. Bob is kind. Bob is nice. Bob is round. Erin is not blue. Erin is kind. Erin is red. Erin is not round. Erin is not white. Harry is not nice. Harry is round. If Erin is blue and Erin is red then Erin is not kind. If Harry is nice then Harry is not round. All blue things are green. Nice things are red. If something is green then it is red. All green, red things are nice. If something is round and not nice then it is kind. If Harry is round and Harry is kind then Harry is white.
Anne is blue.
@0: Anne is red.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule5)) -> rule6))] Bob is round.[(triple5)] Erin is kind.[(triple7)] Erin is not blue.[(triple6)] Erin is not round.[(triple9)] Erin is not white.[(triple10)] Erin is red.[(triple8)] Harry is not nice.[(triple11)] Harry is round.[(triple12)] @1: Bob is green.[(((triple2) -> rule3))] Bob is red.[(((triple4) -> rule4) OR ((((triple2) -> rule3)) -> rule5))] Harry is kind.[(((triple12 triple11) -> rule7))] @2: Harry is white.[(((triple12 ((triple12 triple11) -> rule7)) -> rule8))]