Anne is kind. Anne is nice. Anne is rough. Erin is green. Erin is kind. Erin is rough. Erin is young. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is young. Harry is kind. Harry is quiet. Round people are kind. If someone is rough and round then they are green. All quiet, rough people are green. If someone is nice then they are round. Young people are rough. All kind people are nice. If someone is round then they are young.
Anne is not kind.
@0: Anne is kind.[(triple1 OR ((((triple2) -> rule4)) -> rule1))] Anne is nice.[(triple2 OR ((triple1) -> rule6))] Anne is rough.[(triple3 OR ((((((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule4)) -> rule7)) -> rule5))] Erin is green.[(triple4 OR ((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule2) OR ((((triple7) -> rule5) ((((triple5) -> rule6)) -> rule4)) -> rule2) OR ((((((((((triple5) -> rule6)) -> rule4)) -> rule7)) -> rule5) ((((triple5) -> rule6)) -> rule4)) -> rule2))] Erin is kind.[(triple5)] Erin is rough.[(triple6 OR ((triple7) -> rule5) OR ((((((((triple5) -> rule6)) -> rule4)) -> rule7)) -> rule5))] Erin is young.[(triple7 OR ((((((triple5) -> rule6)) -> rule4)) -> rule7))] Gary is green.[(triple8 OR ((triple11 triple12) -> rule3) OR ((triple12 triple13) -> rule2) OR ((triple11 ((triple14) -> rule5)) -> rule3) OR ((triple12 ((triple10) -> rule4)) -> rule2) OR ((((triple14) -> rule5) triple13) -> rule2) OR ((((triple14) -> rule5) ((triple10) -> rule4)) -> rule2) OR ((triple11 ((((triple13) -> rule7)) -> rule5)) -> rule3) OR ((triple12 ((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((((((triple13) -> rule7)) -> rule5) triple13) -> rule2) OR ((((triple14) -> rule5) ((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((((((triple13) -> rule7)) -> rule5) ((triple10) -> rule4)) -> rule2) OR ((((((triple13) -> rule7)) -> rule5) ((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple11 ((((((triple10) -> rule4)) -> rule7)) -> rule5)) -> rule3) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule5) triple13) -> rule2) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule5) ((triple10) -> rule4)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule5) ((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple11 ((((((((triple9) -> rule6)) -> rule4)) -> rule7)) -> rule5)) -> rule3) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule7)) -> rule5) triple13) -> rule2) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule7)) -> rule5) ((triple10) -> rule4)) -> rule2) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule7)) -> rule5) ((((triple9) -> rule6)) -> rule4)) -> rule2))] Gary is kind.[(triple9 OR ((triple13) -> rule1) OR ((((triple10) -> rule4)) -> rule1))] Gary is nice.[(triple10 OR ((triple9) -> rule6) OR ((((triple13) -> rule1)) -> rule6))] Gary is quiet.[(triple11)] Gary is rough.[(triple12 OR ((triple14) -> rule5) OR ((((triple13) -> rule7)) -> rule5) OR ((((((triple10) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule7)) -> rule5))] Gary is round.[(triple13 OR ((triple10) -> rule4) OR ((((triple9) -> rule6)) -> rule4))] Gary is young.[(triple14 OR ((triple13) -> rule7) OR ((((triple10) -> rule4)) -> rule7) OR ((((((triple9) -> rule6)) -> rule4)) -> rule7))] Harry is kind.[(triple15)] Harry is quiet.[(triple16)] @1: Anne is round.[(((triple2) -> rule4) OR ((((triple1) -> rule6)) -> rule4))] Erin is nice.[(((triple5) -> rule6))] Harry is nice.[(((triple15) -> rule6))] @2: Anne is green.[(((triple3 ((triple2) -> rule4)) -> rule2) OR ((triple3 ((((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule5) ((triple2) -> rule4)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule5) ((((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((((((((triple1) -> rule6)) -> rule4)) -> rule7)) -> rule5) ((triple2) -> rule4)) -> rule2) OR ((((((((((triple1) -> rule6)) -> rule4)) -> rule7)) -> rule5) ((((triple1) -> rule6)) -> rule4)) -> rule2))] Anne is young.[(((((triple2) -> rule4)) -> rule7) OR ((((((triple1) -> rule6)) -> rule4)) -> rule7))] Erin is round.[(((((triple5) -> rule6)) -> rule4))] Harry is round.[(((((triple15) -> rule6)) -> rule4))] @3: Harry is young.[(((((((triple15) -> rule6)) -> rule4)) -> rule7))] @4: Harry is rough.[(((((((((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule5))] @5: Harry is green.[(((triple16 ((((((((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule5)) -> rule3) OR ((((((((((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule5) ((((triple15) -> rule6)) -> rule4)) -> rule2))]