Anne is green. Bob is big. Bob is furry. Dave is green. Erin is furry. Erin is green. Erin is round. If Anne is white and Anne is big then Anne is not furry. Furry people are kind. If someone is kind then they are white. If someone is white then they are big. If someone is rough then they are green. If someone is kind and not big then they are not rough. Furry, white people are rough. Green, kind people are round. If someone is white and not green then they are round.
Erin is not white.
@0: Anne is green.[(triple1)] Bob is big.[(triple2 OR ((((((triple3) -> rule2)) -> rule3)) -> rule4))] Bob is furry.[(triple3)] Dave is green.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((((triple5 ((((triple5) -> rule2)) -> rule3)) -> rule7)) -> rule5))] Erin is round.[(triple7 OR ((triple6 ((triple5) -> rule2)) -> rule8) OR ((((((triple5 ((((triple5) -> rule2)) -> rule3)) -> rule7)) -> rule5) ((triple5) -> rule2)) -> rule8))] @1: Bob is kind.[(((triple3) -> rule2))] Erin is kind.[(((triple5) -> rule2))] @2: Bob is white.[(((((triple3) -> rule2)) -> rule3))] Erin is white.[(((((triple5) -> rule2)) -> rule3))] @3: Bob is rough.[(((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule7))] Erin is big.[(((((((triple5) -> rule2)) -> rule3)) -> rule4))] Erin is rough.[(((triple5 ((((triple5) -> rule2)) -> rule3)) -> rule7))] @4: Bob is green.[(((((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule7)) -> rule5))] @5: Bob is round.[(((((((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule7)) -> rule5) ((triple3) -> rule2)) -> rule8))]