Charlie is kind. Charlie is rough. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. All green, kind people are rough. If Charlie is quiet and Charlie is kind then Charlie is blue. If someone is furry and rough then they are nice. If someone is rough then they are quiet. All quiet, rough people are furry. All quiet, nice people are rough. All furry people are green. Kind, rough people are quiet.
Charlie is not quiet.
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple5 triple6) -> rule1)) -> rule5) OR ((triple8 ((triple8 triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule4) triple9) -> rule5) OR ((((triple6 triple9) -> rule8) triple9) -> rule5) OR ((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) OR ((((triple9) -> rule4) ((triple8 triple7) -> rule6)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple8 triple7) -> rule6)) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) OR ((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule4) ((triple8 triple7) -> rule6)) -> rule5) OR ((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) OR ((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple8 triple7) -> rule6)) -> rule5))] Dave is green.[(triple5 OR ((triple4) -> rule7) OR ((((triple8 triple9) -> rule5)) -> rule7) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule5)) -> rule7) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) ((triple8 triple7) -> rule6)) -> rule5)) -> rule7) OR ((((((triple6 triple9) -> rule8) ((triple8 triple7) -> rule6)) -> rule5)) -> rule7))] Dave is kind.[(triple6)] Dave is nice.[(triple7 OR ((triple4 triple9) -> rule3) OR ((triple4 ((triple5 triple6) -> rule1)) -> rule3) OR ((((triple8 triple9) -> rule5) triple9) -> rule3) OR ((((triple8 triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((triple4 ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) triple9) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) triple9) -> rule3) OR ((((triple8 triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) triple9) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) triple9) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3))] Dave is quiet.[(triple8 OR ((triple9) -> rule4) OR ((triple6 triple9) -> rule8) OR ((((triple5 triple6) -> rule1)) -> rule4) OR ((triple6 ((triple5 triple6) -> rule1)) -> rule8) OR ((((((triple4) -> rule7) triple6) -> rule1)) -> rule4) OR ((triple6 ((((triple4) -> rule7) triple6) -> rule1)) -> rule8))] Dave is rough.[(triple9 OR ((triple5 triple6) -> rule1) OR ((triple8 triple7) -> rule6) OR ((((triple4) -> rule7) triple6) -> rule1))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11 OR ((triple15 triple16) -> rule5) OR ((triple15 ((triple12 triple13) -> rule1)) -> rule5) OR ((triple15 ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple16) -> rule4) triple16) -> rule5) OR ((((triple13 triple16) -> rule8) triple16) -> rule5) OR ((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) OR ((((triple16) -> rule4) ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) OR ((((triple13 triple16) -> rule8) ((triple15 triple14) -> rule6)) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) OR ((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule4) ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) OR ((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple15 triple14) -> rule6)) -> rule5))] Fiona is green.[(triple12 OR ((triple11) -> rule7) OR ((((triple15 triple16) -> rule5)) -> rule7) OR ((((triple15 ((triple15 triple14) -> rule6)) -> rule5)) -> rule7) OR ((((((triple16) -> rule4) triple16) -> rule5)) -> rule7) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5)) -> rule7) OR ((((((triple16) -> rule4) ((triple15 triple14) -> rule6)) -> rule5)) -> rule7) OR ((((((triple13 triple16) -> rule8) ((triple15 triple14) -> rule6)) -> rule5)) -> rule7))] Fiona is kind.[(triple13)] Fiona is nice.[(triple14 OR ((triple11 triple16) -> rule3) OR ((triple11 ((triple12 triple13) -> rule1)) -> rule3) OR ((((triple15 triple16) -> rule5) triple16) -> rule3) OR ((((triple15 triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((triple11 ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((triple15 ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule5) triple16) -> rule3) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5) triple16) -> rule3) OR ((((triple15 triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((triple15 ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((triple15 ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) triple16) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) triple16) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3))] Fiona is quiet.[(triple15 OR ((triple16) -> rule4) OR ((triple13 triple16) -> rule8) OR ((((triple12 triple13) -> rule1)) -> rule4) OR ((triple13 ((triple12 triple13) -> rule1)) -> rule8) OR ((((((triple11) -> rule7) triple13) -> rule1)) -> rule4) OR ((triple13 ((((triple11) -> rule7) triple13) -> rule1)) -> rule8))] Fiona is rough.[(triple16 OR ((triple12 triple13) -> rule1) OR ((triple15 triple14) -> rule6) OR ((((triple11) -> rule7) triple13) -> rule1))] @1: Charlie is quiet.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule8))] @2: Charlie is blue.[(((((triple2) -> rule4) triple1) -> rule2) OR ((((triple1 triple2) -> rule8) triple1) -> rule2))] Charlie is furry.[(((((triple2) -> rule4) triple2) -> rule5) OR ((((triple1 triple2) -> rule8) triple2) -> rule5))] @3: Charlie is green.[(((((((triple2) -> rule4) triple2) -> rule5)) -> rule7) OR ((((((triple1 triple2) -> rule8) triple2) -> rule5)) -> rule7))] Charlie is nice.[(((((((triple2) -> rule4) triple2) -> rule5) triple2) -> rule3) OR ((((((triple1 triple2) -> rule8) triple2) -> rule5) triple2) -> rule3))]