Anne is furry. Anne is young. Charlie is blue. Charlie is nice. Charlie is young. Dave is furry. Dave is round. Harry is furry. Harry is kind. Harry is round. All young, nice people are round. If someone is green then they are kind. If someone is young and blue then they are green. Furry people are kind. All kind people are young. Young people are nice. All nice, round people are blue. If Charlie is kind then Charlie is furry. If someone is nice then they are furry.
Dave is furry.
@0: Anne is furry.[(triple1 OR ((((triple2) -> rule6)) -> rule9))] Anne is young.[(triple2 OR ((((triple1) -> rule4)) -> rule5))] Charlie is blue.[(triple3 OR ((triple4 ((triple5 triple4) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((triple5 triple4) -> rule1)) -> rule7) OR ((triple4 ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7) OR ((triple4 ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1)) -> rule7) OR ((triple4 ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1)) -> rule7) OR ((((triple5) -> rule6) ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1)) -> rule7))] Charlie is nice.[(triple4 OR ((triple5) -> rule6))] Charlie is young.[(triple5 OR ((((((triple4) -> rule9)) -> rule4)) -> rule5))] Dave is furry.[(triple6)] Dave is round.[(triple7 OR ((((((triple6) -> rule4)) -> rule5) ((((((triple6) -> rule4)) -> rule5)) -> rule6)) -> rule1))] Harry is furry.[(triple8 OR ((((((triple9) -> rule5)) -> rule6)) -> rule9))] Harry is kind.[(triple9 OR ((triple8) -> rule4))] Harry is round.[(triple10 OR ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1) OR ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1) OR ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1))] @1: Anne is kind.[(((triple1) -> rule4) OR ((((((triple2) -> rule6)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3)) -> rule2))] Anne is nice.[(((triple2) -> rule6) OR ((((((triple1) -> rule4)) -> rule5)) -> rule6))] Charlie is furry.[(((triple4) -> rule9) OR ((((triple5) -> rule6)) -> rule9) OR ((((((triple5 triple3) -> rule3)) -> rule2)) -> rule8) OR ((((((triple5 ((triple4 ((triple5 triple4) -> rule1)) -> rule7)) -> rule3)) -> rule2)) -> rule8) OR ((((((triple5 ((((triple5) -> rule6) ((triple5 triple4) -> rule1)) -> rule7)) -> rule3)) -> rule2)) -> rule8) OR ((((((triple5 ((triple4 ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3)) -> rule2)) -> rule8) OR ((((((triple5 ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3)) -> rule2)) -> rule8))] Charlie is green.[(((triple5 triple3) -> rule3) OR ((triple5 ((triple4 ((triple5 triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((((triple5) -> rule6) ((triple5 triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((triple4 ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple3) -> rule3) OR ((triple5 ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple4 ((triple5 triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple4 ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((((triple5) -> rule6) ((triple5 triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((triple4 ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((triple4 ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((((triple5) -> rule6) ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple5 ((((triple5) -> rule6) ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple4 ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple4 ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((((triple5) -> rule6) ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((((triple5) -> rule6) ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3))] Charlie is round.[(((triple5 triple4) -> rule1) OR ((triple5 ((triple5) -> rule6)) -> rule1) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) triple4) -> rule1) OR ((((((((triple4) -> rule9)) -> rule4)) -> rule5) ((triple5) -> rule6)) -> rule1))] Dave is kind.[(((triple6) -> rule4))] Harry is young.[(((triple9) -> rule5) OR ((((triple8) -> rule4)) -> rule5))] @2: Anne is round.[(((triple2 ((triple2) -> rule6)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1) OR ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1))] Charlie is kind.[(((((triple4) -> rule9)) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule2) OR ((((((triple5) -> rule6)) -> rule9)) -> rule4) OR ((((triple5 ((triple4 ((triple5 triple4) -> rule1)) -> rule7)) -> rule3)) -> rule2) OR ((((triple5 ((((triple5) -> rule6) ((triple5 triple4) -> rule1)) -> rule7)) -> rule3)) -> rule2) OR ((((triple5 ((triple4 ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3)) -> rule2) OR ((((triple5 ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3)) -> rule2))] Dave is young.[(((((triple6) -> rule4)) -> rule5))] Harry is nice.[(((((triple9) -> rule5)) -> rule6) OR ((((((triple8) -> rule4)) -> rule5)) -> rule6))] @3: Anne is blue.[(((((triple2) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((triple2) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((triple2) -> rule6) ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((triple2) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7))] Dave is nice.[(((((((triple6) -> rule4)) -> rule5)) -> rule6))] Harry is blue.[(((((((triple9) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule6) triple10) -> rule7) OR ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple9) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple9) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7))] @4: Anne is green.[(((triple2 ((((triple2) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((triple2) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((triple2) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((triple2) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((triple2) -> rule6) ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((triple2) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((triple2) -> rule6) ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((triple2 ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((triple2) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((triple2 ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) ((((((((triple1) -> rule4)) -> rule5)) -> rule6) ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3))] Dave is blue.[(((((((((triple6) -> rule4)) -> rule5)) -> rule6) triple7) -> rule7) OR ((((((((triple6) -> rule4)) -> rule5)) -> rule6) ((((((triple6) -> rule4)) -> rule5) ((((((triple6) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7))] Harry is green.[(((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule6) triple10) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple9) -> rule5)) -> rule6) triple10) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) triple10) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) triple10) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple9) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple9) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((triple9) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple8) -> rule4)) -> rule5)) -> rule6) ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3))] @5: Dave is green.[(((((((triple6) -> rule4)) -> rule5) ((((((((triple6) -> rule4)) -> rule5)) -> rule6) triple7) -> rule7)) -> rule3) OR ((((((triple6) -> rule4)) -> rule5) ((((((((triple6) -> rule4)) -> rule5)) -> rule6) ((((((triple6) -> rule4)) -> rule5) ((((((triple6) -> rule4)) -> rule5)) -> rule6)) -> rule1)) -> rule7)) -> rule3))]