Charlie is big. Charlie is smart. Gary is big. Gary is blue. Gary is green. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is white. If Harry is white and Harry is green then Harry is young. If someone is blue and smart then they are round. All round, big people are blue. If someone is blue and big then they are green. If someone is green and blue then they are young. If Gary is blue and Gary is green then Gary is young. Big people are white. All big, white people are round.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4 OR ((triple6 triple3) -> rule3) OR ((((triple3 triple8) -> rule8) triple3) -> rule3) OR ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3))] Gary is green.[(triple5 OR ((triple4 triple3) -> rule4) OR ((((triple6 triple3) -> rule3) triple3) -> rule4) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4))] Gary is round.[(triple6 OR ((triple3 triple8) -> rule8) OR ((triple4 triple7) -> rule2) OR ((triple3 ((triple3) -> rule7)) -> rule8))] Gary is smart.[(triple7)] Gary is white.[(triple8 OR ((triple3) -> rule7))] Harry is big.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule7))] @1: Charlie is white.[(((triple1) -> rule7))] Gary is young.[(((triple4 triple5) -> rule6) OR ((triple5 triple4) -> rule5) OR ((triple4 ((triple4 triple3) -> rule4)) -> rule6) OR ((triple5 ((triple6 triple3) -> rule3)) -> rule5) OR ((((triple4 triple3) -> rule4) triple4) -> rule5) OR ((((triple6 triple3) -> rule3) triple5) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((triple6 triple3) -> rule3) ((triple4 triple3) -> rule4)) -> rule6) OR ((triple4 ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((triple5 ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple5) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((triple6 triple3) -> rule3) ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((triple4 triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((triple4 ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((triple5 ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple5) -> rule6) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((((triple6 triple3) -> rule3) ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((triple4 triple3) -> rule4)) -> rule6) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((triple4 ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) triple4) -> rule5) OR ((((triple6 triple3) -> rule3) ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5))] Harry is round.[(((triple9 triple10) -> rule8) OR ((triple9 ((triple9) -> rule7)) -> rule8))] @2: Charlie is round.[(((triple1 ((triple1) -> rule7)) -> rule8))] Harry is blue.[(((((triple9 triple10) -> rule8) triple9) -> rule3) OR ((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3))] @3: Charlie is blue.[(((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3))] Harry is green.[(((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) OR ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4))] @4: Charlie is green.[(((((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3) triple1) -> rule4))] Harry is young.[(((triple10 ((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((triple9) -> rule7) ((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 triple10) -> rule8) triple9) -> rule3)) -> rule5) OR ((((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3)) -> rule5) OR ((triple10 ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((triple9) -> rule7) ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 triple10) -> rule8) triple9) -> rule3)) -> rule5) OR ((((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3)) -> rule5))] @5: Charlie is young.[(((((((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3) triple1) -> rule4) ((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3)) -> rule5))]