Anne is blue. Anne is rough. Anne is white. Bob is blue. Erin is kind. Erin is rough. Harry is blue. Harry is kind. Harry is rough. Harry is round. Harry is young. If Bob is rough then Bob is kind. All blue people are young. If someone is kind then they are blue. If Erin is young and Erin is green then Erin is round. All round people are white. If Bob is white and Bob is young then Bob is kind. Green people are kind. Young people are green.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Harry is blue.[(triple7 OR ((triple8) -> rule3) OR ((((((triple11) -> rule8)) -> rule7)) -> rule3))] Harry is kind.[(triple8 OR ((((triple11) -> rule8)) -> rule7) OR ((((((triple7) -> rule2)) -> rule8)) -> rule7))] Harry is rough.[(triple9)] Harry is round.[(triple10)] Harry is young.[(triple11 OR ((triple7) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] @1: Anne is young.[(((triple1) -> rule2))] Bob is young.[(((triple4) -> rule2))] Erin is blue.[(((triple5) -> rule3))] Harry is green.[(((triple11) -> rule8) OR ((((triple7) -> rule2)) -> rule8) OR ((((((triple8) -> rule3)) -> rule2)) -> rule8))] Harry is white.[(((triple10) -> rule5))] @2: Anne is green.[(((((triple1) -> rule2)) -> rule8))] Bob is green.[(((((triple4) -> rule2)) -> rule8))] Erin is young.[(((((triple5) -> rule3)) -> rule2))] @3: Anne is kind.[(((((((triple1) -> rule2)) -> rule8)) -> rule7))] Bob is kind.[(((((((triple4) -> rule2)) -> rule8)) -> rule7))] Erin is green.[(((((((triple5) -> rule3)) -> rule2)) -> rule8))] @4: Erin is round.[(((((((triple5) -> rule3)) -> rule2) ((((((triple5) -> rule3)) -> rule2)) -> rule8)) -> rule4))] @5: Erin is white.[(((((((((triple5) -> rule3)) -> rule2) ((((((triple5) -> rule3)) -> rule2)) -> rule8)) -> rule4)) -> rule5))]