「この六Ｆヘルキャットは問われ兼ねる」ということは成り立つ
fact1: もしも「なんらかの物は聞き漏らさないかまたは時間通りであるかまたは両方ともである」ということは真実でないならば軽し fact2: もし仮にそのトンネル栽培が軽しならばその労使委員会は聞き漏らす fact3: もしもこの六Ｆヘルキャットが軽しとしたらそのトンネル栽培は因む fact4: もしも「あるものは聞き漏らさないかまたは時間通りでないかまたは両方である」ということは成り立つということはないならばペプチドグリカンだ fact5: その労使委員会が聞き漏らすならばあの六Ｆヘルキャットは因む fact6: この六Ｆヘルキャットはペプチドグリカンである fact7: この六Ｆヘルキャットは時間通りだ fact8: 仮にこのエルサルク星系は彫り出すとしたら「その労使委員会はペプチドグリカンだということはなくて因まない」ということは間違っている fact9: もしも「その労使委員会は因むということはないか聞き漏らす」ということは成り立つということはないとすると「軽し」ということは真実である fact10: 仮にそのネット販売が大人っぽくないけれど白いならこのエルサルク星系は彫り出す fact11: 仮になにかは聞き漏らすとするとそれは問われ兼ねる fact12: もし仮にとある物が因むしさらにペプチドグリカンであるとすれば問われ兼ねるということはない fact13: 「軽し物は聞き漏らす」ということは事実である fact14: 「そのトンネル栽培は時間通りでないかもしくは長たらしくないか両方ともだ」ということは間違っている fact15: もし何らかの物が名刀だということはないとしたら大人っぽくないが白い fact16: その合成ゴムは時間通りだ fact17: もし「あるものは時間通りでないかあるいは長たらしいということはないか両方だ」ということは間違いであるとすると「それは軽し」ということは成り立つ fact18: その計算書類規則は触知出来ない fact19: もし「触知出来ない」ものがあるならこの受信ユニットは名刀であるか触知出来ないかもしくはどちらもである fact20: もし仮に「この受信ユニットは名刀であるか触知出来ないかもしくは両方ともである」ということは成り立つとするとそのネット販売は名刀でない fact21: もしも「この六Ｆヘルキャットはペプチドグリカンでないかそれは長たらしいか両方だ」ということは間違いだとしたら時間通りである fact22: 「何らかのものは触知出来ないかもしくは有価証券届け出書きでないかもしくはどちらもである」ということは嘘だとするとそれは二紙だ fact23: もし仮に「何らかのものはサムネールでないかもしくは悔しくないかもしくは両方ともである」ということは成り立たないとするとそれは張り切り過ぎる fact24: もしも「そのトンネル栽培は長たらしくないかそれは聞き漏らす」ということは成り立たないとすると問われ兼ねる fact25: その労使委員会が因むし問われ兼ねれば聞き漏らすということはない fact26: もし「その労使委員会は問われ兼ねらないかあるいは聞き漏らさないかまたは両方だ」ということは成り立たないとするとそれは長たらしい
fact17 -> int1: 「そのトンネル栽培は時間通りでないかあるいは長たらしくない」ということは成り立たないなら軽し; int1 & fact14 -> int2: そのトンネル栽培は軽し; int2 & fact2 -> int3: その労使委員会は聞き漏らす; int3 & fact5 -> int4: この六Ｆヘルキャットは因む; int4 & fact6 -> int5: この六Ｆヘルキャットは因むしおまけにペプチドグリカンである; fact12 -> int6: 「この六Ｆヘルキャットは因むしペプチドグリカンだ」ということは成り立つとしたら問われ兼ねらない; int5 & int6 -> hypothesis;
この六Ｆヘルキャットは問われ兼ねる
fact27 -> int7: もしこの六Ｆヘルキャットは聞き漏らすなら「それは問われ兼ねる」ということは誤りでない; fact33 -> int8: 仮にこの六Ｆヘルキャットが軽しならばそれは聞き漏らす; fact34 -> int9: もし仮にそのネット販売が名刀でないとすれば大人っぽくないし白い; fact29 -> int10: 「触知出来ない」ものはある; int10 & fact30 -> int11: この受信ユニットは名刀であるかまたは触知出来るということはないかあるいは両方ともである; fact28 & int11 -> int12: そのネット販売は名刀でない; int9 & int12 -> int13: そのネット販売は大人っぽくない一方でそれは白い; fact31 & int13 -> int14: このエルサルク星系は彫り出す; fact32 & int14 -> int15: 「その労使委員会はペプチドグリカンでないし因むということはない」ということは誤りだ; int15 -> int16: 「「ペプチドグリカンでないし加えて因まない」ということは嘘な」ものはある;
$facts$ = fact1: もしも「なんらかの物は聞き漏らさないかまたは時間通りであるかまたは両方ともである」ということは真実でないならば軽し fact2: もし仮にそのトンネル栽培が軽しならばその労使委員会は聞き漏らす fact3: もしもこの六Ｆヘルキャットが軽しとしたらそのトンネル栽培は因む fact4: もしも「あるものは聞き漏らさないかまたは時間通りでないかまたは両方である」ということは成り立つということはないならばペプチドグリカンだ fact5: その労使委員会が聞き漏らすならばあの六Ｆヘルキャットは因む fact6: この六Ｆヘルキャットはペプチドグリカンである fact7: この六Ｆヘルキャットは時間通りだ fact8: 仮にこのエルサルク星系は彫り出すとしたら「その労使委員会はペプチドグリカンだということはなくて因まない」ということは間違っている fact9: もしも「その労使委員会は因むということはないか聞き漏らす」ということは成り立つということはないとすると「軽し」ということは真実である fact10: 仮にそのネット販売が大人っぽくないけれど白いならこのエルサルク星系は彫り出す fact11: 仮になにかは聞き漏らすとするとそれは問われ兼ねる fact12: もし仮にとある物が因むしさらにペプチドグリカンであるとすれば問われ兼ねるということはない fact13: 「軽し物は聞き漏らす」ということは事実である fact14: 「そのトンネル栽培は時間通りでないかもしくは長たらしくないか両方ともだ」ということは間違っている fact15: もし何らかの物が名刀だということはないとしたら大人っぽくないが白い fact16: その合成ゴムは時間通りだ fact17: もし「あるものは時間通りでないかあるいは長たらしいということはないか両方だ」ということは間違いであるとすると「それは軽し」ということは成り立つ fact18: その計算書類規則は触知出来ない fact19: もし「触知出来ない」ものがあるならこの受信ユニットは名刀であるか触知出来ないかもしくはどちらもである fact20: もし仮に「この受信ユニットは名刀であるか触知出来ないかもしくは両方ともである」ということは成り立つとするとそのネット販売は名刀でない fact21: もしも「この六Ｆヘルキャットはペプチドグリカンでないかそれは長たらしいか両方だ」ということは間違いだとしたら時間通りである fact22: 「何らかのものは触知出来ないかもしくは有価証券届け出書きでないかもしくはどちらもである」ということは嘘だとするとそれは二紙だ fact23: もし仮に「何らかのものはサムネールでないかもしくは悔しくないかもしくは両方ともである」ということは成り立たないとするとそれは張り切り過ぎる fact24: もしも「そのトンネル栽培は長たらしくないかそれは聞き漏らす」ということは成り立たないとすると問われ兼ねる fact25: その労使委員会が因むし問われ兼ねれば聞き漏らすということはない fact26: もし「その労使委員会は問われ兼ねらないかあるいは聞き漏らさないかまたは両方だ」ということは成り立たないとするとそれは長たらしい ; $hypothesis$ = 「この六Ｆヘルキャットは問われ兼ねる」ということは成り立つ ; $proof$ = 
fact17 -> int1: 「そのトンネル栽培は時間通りでないかあるいは長たらしくない」ということは成り立たないなら軽し; int1 & fact14 -> int2: そのトンネル栽培は軽し; int2 & fact2 -> int3: その労使委員会は聞き漏らす; int3 & fact5 -> int4: この六Ｆヘルキャットは因む; int4 & fact6 -> int5: この六Ｆヘルキャットは因むしおまけにペプチドグリカンである; fact12 -> int6: 「この六Ｆヘルキャットは因むしペプチドグリカンだ」ということは成り立つとしたら問われ兼ねらない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしも「なんらかの物は聞き漏らさないかまたは時間通りであるかまたは両方ともである」ということは真実でないならば軽し
事実2: もし仮にそのトンネル栽培が軽しならばその労使委員会は聞き漏らす
事実3: もしもこの六Ｆヘルキャットが軽しとしたらそのトンネル栽培は因む
事実4: もしも「あるものは聞き漏らさないかまたは時間通りでないかまたは両方である」ということは成り立つということはないならばペプチドグリカンだ
事実5: その労使委員会が聞き漏らすならばあの六Ｆヘルキャットは因む
事実6: この六Ｆヘルキャットはペプチドグリカンである
事実7: この六Ｆヘルキャットは時間通りだ
事実8: 仮にこのエルサルク星系は彫り出すとしたら「その労使委員会はペプチドグリカンだということはなくて因まない」ということは間違っている
事実9: もしも「その労使委員会は因むということはないか聞き漏らす」ということは成り立つということはないとすると「軽し」ということは真実である
事実10: 仮にそのネット販売が大人っぽくないけれど白いならこのエルサルク星系は彫り出す
事実11: 仮になにかは聞き漏らすとするとそれは問われ兼ねる
事実12: もし仮にとある物が因むしさらにペプチドグリカンであるとすれば問われ兼ねるということはない
事実13: 「軽し物は聞き漏らす」ということは事実である
事実14: 「そのトンネル栽培は時間通りでないかもしくは長たらしくないか両方ともだ」ということは間違っている
事実15: もし何らかの物が名刀だということはないとしたら大人っぽくないが白い
事実16: その合成ゴムは時間通りだ
事実17: もし「あるものは時間通りでないかあるいは長たらしいということはないか両方だ」ということは間違いであるとすると「それは軽し」ということは成り立つ
事実18: その計算書類規則は触知出来ない
事実19: もし「触知出来ない」ものがあるならこの受信ユニットは名刀であるか触知出来ないかもしくはどちらもである
事実20: もし仮に「この受信ユニットは名刀であるか触知出来ないかもしくは両方ともである」ということは成り立つとするとそのネット販売は名刀でない
事実21: もしも「この六Ｆヘルキャットはペプチドグリカンでないかそれは長たらしいか両方だ」ということは間違いだとしたら時間通りである
事実22: 「何らかのものは触知出来ないかもしくは有価証券届け出書きでないかもしくはどちらもである」ということは嘘だとするとそれは二紙だ
事実23: もし仮に「何らかのものはサムネールでないかもしくは悔しくないかもしくは両方ともである」ということは成り立たないとするとそれは張り切り過ぎる
事実24: もしも「そのトンネル栽培は長たらしくないかそれは聞き漏らす」ということは成り立たないとすると問われ兼ねる
事実25: その労使委員会が因むし問われ兼ねれば聞き漏らすということはない
事実26: もし「その労使委員会は問われ兼ねらないかあるいは聞き漏らさないかまたは両方だ」ということは成り立たないとするとそれは長たらしい

仮説: 「この六Ｆヘルキャットは問われ兼ねる」ということは成り立つ
1. 事実17から、推論1: "「そのトンネル栽培は時間通りでないかあるいは長たらしくない」ということは成り立たないなら軽し"が導かれる
2. 推論1と事実14から、推論2: "そのトンネル栽培は軽し"が導かれる
3. 推論2と事実2から、推論3: "その労使委員会は聞き漏らす"が導かれる
4. 推論3と事実5から、推論4: "この六Ｆヘルキャットは因む"が導かれる
5. 推論4と事実6から、推論5: "この六Ｆヘルキャットは因むしおまけにペプチドグリカンである"が導かれる
6. 事実12から、推論6: "「この六Ｆヘルキャットは因むしペプチドグリカンだ」ということは成り立つとしたら問われ兼ねらない"が導かれる
7. 推論5と推論6から、仮説が否定される

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