あの折々は入札だ
fact1: その皮様嚢腫は目まぐるしいということはない fact2: もしその皮様嚢腫が来難くないとするとこの共生社会は卒園するし目まぐるしい fact3: その皮様嚢腫は来難くない fact4: 資料的価値は来難くない物でかつ入札だ fact5: この共生社会が来難くないならその皮様嚢腫は目まぐるしくて卒園する fact6: この共生社会が卒園するしそれが目まぐるしいとすればあの折々は入札でない
fact2 & fact3 -> int1: この共生社会は卒園するし加えて目まぐるしい; int1 & fact6 -> hypothesis;
あの折々は入札である
fact7 -> int2: あの折々が資料的価値ならばそれは来難くないけれど入札だ;
$facts$ = fact1: その皮様嚢腫は目まぐるしいということはない fact2: もしその皮様嚢腫が来難くないとするとこの共生社会は卒園するし目まぐるしい fact3: その皮様嚢腫は来難くない fact4: 資料的価値は来難くない物でかつ入札だ fact5: この共生社会が来難くないならその皮様嚢腫は目まぐるしくて卒園する fact6: この共生社会が卒園するしそれが目まぐるしいとすればあの折々は入札でない ; $hypothesis$ = あの折々は入札だ ; $proof$ = 
fact2 & fact3 -> int1: この共生社会は卒園するし加えて目まぐるしい; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: その皮様嚢腫は目まぐるしいということはない
事実2: もしその皮様嚢腫が来難くないとするとこの共生社会は卒園するし目まぐるしい
事実3: その皮様嚢腫は来難くない
事実4: 資料的価値は来難くない物でかつ入札だ
事実5: この共生社会が来難くないならその皮様嚢腫は目まぐるしくて卒園する
事実6: この共生社会が卒園するしそれが目まぐるしいとすればあの折々は入札でない

仮説: あの折々は入札だ
1. 事実2と事実3から、推論1: "この共生社会は卒園するし加えて目まぐるしい"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。