Anne is big. Anne is furry. Anne is green. Dave is big. Dave is green. Dave is white. Gary is kind. Gary is red. Gary is round. Gary is white. Red, furry people are white. Red people are green. Red, kind people are green. All furry people are kind. White people are red. Kind, white people are red. If someone is red then they are furry. If Anne is big then Anne is green.
Dave is round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple1) -> rule8))] Dave is big.[(triple4)] Dave is green.[(triple5 OR ((((triple6) -> rule5)) -> rule2) OR ((((triple6) -> rule5) ((((((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule3))] Dave is white.[(triple6)] Gary is kind.[(triple7 OR ((((triple8) -> rule7)) -> rule4) OR ((((((triple10) -> rule5)) -> rule7)) -> rule4))] Gary is red.[(triple8 OR ((triple10) -> rule5) OR ((triple7 triple10) -> rule6))] Gary is round.[(triple9)] Gary is white.[(triple10 OR ((triple8 ((triple8) -> rule7)) -> rule1))] @1: Anne is kind.[(((triple2) -> rule4))] Dave is red.[(((triple6) -> rule5))] Gary is furry.[(((triple8) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple7 triple10) -> rule6)) -> rule7))] Gary is green.[(((triple8) -> rule2) OR ((triple8 triple7) -> rule3) OR ((((triple10) -> rule5)) -> rule2) OR ((((triple7 triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule5) triple7) -> rule3) OR ((((triple7 triple10) -> rule6) triple7) -> rule3) OR ((triple8 ((((triple8) -> rule7)) -> rule4)) -> rule3) OR ((((triple10) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule3) OR ((((triple7 triple10) -> rule6) ((((triple8) -> rule7)) -> rule4)) -> rule3) OR ((triple8 ((((((triple10) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((triple10) -> rule5) ((((((triple10) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((triple7 triple10) -> rule6) ((((((triple10) -> rule5)) -> rule7)) -> rule4)) -> rule3))] @2: Dave is furry.[(((((triple6) -> rule5)) -> rule7))] @3: Dave is kind.[(((((((triple6) -> rule5)) -> rule7)) -> rule4))]