Anne is nice. Anne is red. Anne is rough. Anne is round. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is round. Rough, kind people are big. Blue people are nice. If Gary is nice then Gary is red. Round, red people are kind. Kind, rough people are nice. Kind, nice people are rough. If Gary is kind and Gary is blue then Gary is nice. All nice, blue people are rough.
Gary is rough.
@0: Anne is nice.[(triple1 OR ((((triple4 triple2) -> rule4) triple3) -> rule5))] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((((triple4 triple2) -> rule4) triple1) -> rule6))] Anne is round.[(triple4)] Gary is big.[(triple5 OR ((triple9 triple7) -> rule1) OR ((((triple7 triple8) -> rule6) triple7) -> rule1) OR ((((triple8 triple6) -> rule8) triple7) -> rule1) OR ((triple9 ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule6) triple7) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple6) -> rule2) triple6) -> rule8) triple7) -> rule1) OR ((((((triple7 triple6) -> rule7) triple6) -> rule8) triple7) -> rule1) OR ((((triple7 triple8) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple8 triple6) -> rule8) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple6) -> rule2) triple6) -> rule8) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple7 triple6) -> rule7) triple6) -> rule8) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((triple9 ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) triple7) -> rule1) OR ((((triple7 triple8) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((triple8 triple6) -> rule8) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) triple7) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) triple7) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple6) -> rule2) triple6) -> rule8) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple7 triple6) -> rule7) triple6) -> rule8) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) triple7) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) triple7) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1))] Gary is blue.[(triple6)] Gary is kind.[(triple7 OR ((triple10 ((triple8) -> rule3)) -> rule4) OR ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4))] Gary is nice.[(triple8 OR ((triple6) -> rule2) OR ((triple7 triple6) -> rule7) OR ((triple7 triple9) -> rule5))] Gary is rough.[(triple9 OR ((triple7 triple8) -> rule6) OR ((triple8 triple6) -> rule8) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((triple7 ((triple7 triple6) -> rule7)) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule8) OR ((((triple7 triple6) -> rule7) triple6) -> rule8) OR ((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) OR ((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6))] Gary is round.[(triple10)] @1: Anne is kind.[(((triple4 triple2) -> rule4))] Gary is red.[(((triple8) -> rule3) OR ((((triple6) -> rule2)) -> rule3) OR ((((triple7 triple6) -> rule7)) -> rule3) OR ((((triple7 triple9) -> rule5)) -> rule3))] @2: Anne is big.[(((triple3 ((triple4 triple2) -> rule4)) -> rule1) OR ((((((triple4 triple2) -> rule4) triple1) -> rule6) ((triple4 triple2) -> rule4)) -> rule1))]