「このトマトはコントロール下であるということはなくて更に坑内労働でない」ということは誤りである
fact1: もしその千九百九十九Ｃがとろ臭くなくて五管理でないとしたらこのトマトはとろ臭くない fact2: 「あの大審院判例は女らしいがしかし蹴り付けない」ということは本当でない fact3: その搭載はコントロール下である fact4: 仮になんらかの物は有機食品でないならばそれは未練がましかない fact5: もし「その千九百九十九Ｃは五管理である」ということは成り立つとすると「あの大審院判例が五管理でないししかも未練はましくらない」ということは事実である fact6: 「なにかは女らしいけど蹴り付けない」ということは成り立たないとするとそれは五管理である fact7: もしもその千九百九十九Ｃが喚き立てるとすればそれは未練がましい fact8: 「このトマトは有機食品でないが坑内労働である」ということは成り立たない fact9: あの大審院判例はとろ臭いとすると「その千九百九十九Ｃは喚き立てる」ということは正しい fact10: 未練がましいものはコントロール下である fact11: このトマトはコントロール下だということはない fact12: もし仮になにがしかの物が女らしくないならばそれは五管理である fact13: 五管理はとろ臭い fact14: もしも何かは喚き立てるけどそれが未練がましくらないとすればそれは五管理でない fact15: 仮になにかはとろ臭いということはないとすれば「コントロール下でなくてまた坑内労働であるということはない」ということは偽である fact16: もしあの大審院判例が女らしくないとすると五管理である fact17: もしその千九百九十九Ｃがコントロール下だとすればあのトマトはコントロール下でなくてそれは坑内労働でない fact18: 「この防災性はアイマスクだが物珍しくない」ということは誤りである fact19: その千九百九十九Ｃは簡易化しない fact20: 仮にある物はとろ臭くないなら「その千九百九十九Ｃは差し支えるけどそれは価値でない」ということは誤っている fact21: もし仮にその千九百九十九Ｃはとろ臭くないとしたら「このトマトはコントロール下でないし坑内労働でない」ということは成り立たない fact22: 「もし「そのマッキントッシュは占領しないがしかし有機食品だ」ということは偽であるとしたら「あの心的状態は有機食品でない」ということは成り立つ」ということは事実である fact23: もし仮に「このトマトは有機食品でないけど坑内労働だ」ということは成り立たないとしたらコントロール下でない
fact6 -> int1: もしも「あの大審院判例は女らしいけどそれは蹴り付けない」ということは嘘であるならば五管理だ; int1 & fact2 -> int2: 「あの大審院判例は五管理である」ということは正しい; fact13 -> int3: 仮にあの大審院判例は五管理であるならばとろ臭い; int2 & int3 -> int4: あの大審院判例はとろ臭い; int4 & fact9 -> int5: その千九百九十九Ｃは喚き立てる; int5 & fact7 -> int6: その千九百九十九Ｃは未練がましい; fact10 -> int7: もし仮にその千九百九十九Ｃが未練がましいならばコントロール下だ; int6 & int7 -> int8: その千九百九十九Ｃはコントロール下である; int8 & fact17 -> hypothesis;
「このトマトはコントロール下でないし更に坑内労働でない」ということは偽である
fact25 -> int9: もし仮にこのトマトはとろ臭くないならば「それはコントロール下でないしさらに坑内労働でない」ということは誤りである;
$facts$ = fact1: もしその千九百九十九Ｃがとろ臭くなくて五管理でないとしたらこのトマトはとろ臭くない fact2: 「あの大審院判例は女らしいがしかし蹴り付けない」ということは本当でない fact3: その搭載はコントロール下である fact4: 仮になんらかの物は有機食品でないならばそれは未練がましかない fact5: もし「その千九百九十九Ｃは五管理である」ということは成り立つとすると「あの大審院判例が五管理でないししかも未練はましくらない」ということは事実である fact6: 「なにかは女らしいけど蹴り付けない」ということは成り立たないとするとそれは五管理である fact7: もしもその千九百九十九Ｃが喚き立てるとすればそれは未練がましい fact8: 「このトマトは有機食品でないが坑内労働である」ということは成り立たない fact9: あの大審院判例はとろ臭いとすると「その千九百九十九Ｃは喚き立てる」ということは正しい fact10: 未練がましいものはコントロール下である fact11: このトマトはコントロール下だということはない fact12: もし仮になにがしかの物が女らしくないならばそれは五管理である fact13: 五管理はとろ臭い fact14: もしも何かは喚き立てるけどそれが未練がましくらないとすればそれは五管理でない fact15: 仮になにかはとろ臭いということはないとすれば「コントロール下でなくてまた坑内労働であるということはない」ということは偽である fact16: もしあの大審院判例が女らしくないとすると五管理である fact17: もしその千九百九十九Ｃがコントロール下だとすればあのトマトはコントロール下でなくてそれは坑内労働でない fact18: 「この防災性はアイマスクだが物珍しくない」ということは誤りである fact19: その千九百九十九Ｃは簡易化しない fact20: 仮にある物はとろ臭くないなら「その千九百九十九Ｃは差し支えるけどそれは価値でない」ということは誤っている fact21: もし仮にその千九百九十九Ｃはとろ臭くないとしたら「このトマトはコントロール下でないし坑内労働でない」ということは成り立たない fact22: 「もし「そのマッキントッシュは占領しないがしかし有機食品だ」ということは偽であるとしたら「あの心的状態は有機食品でない」ということは成り立つ」ということは事実である fact23: もし仮に「このトマトは有機食品でないけど坑内労働だ」ということは成り立たないとしたらコントロール下でない ; $hypothesis$ = 「このトマトはコントロール下であるということはなくて更に坑内労働でない」ということは誤りである ; $proof$ = 
fact6 -> int1: もしも「あの大審院判例は女らしいけどそれは蹴り付けない」ということは嘘であるならば五管理だ; int1 & fact2 -> int2: 「あの大審院判例は五管理である」ということは正しい; fact13 -> int3: 仮にあの大審院判例は五管理であるならばとろ臭い; int2 & int3 -> int4: あの大審院判例はとろ臭い; int4 & fact9 -> int5: その千九百九十九Ｃは喚き立てる; int5 & fact7 -> int6: その千九百九十九Ｃは未練がましい; fact10 -> int7: もし仮にその千九百九十九Ｃが未練がましいならばコントロール下だ; int6 & int7 -> int8: その千九百九十九Ｃはコントロール下である; int8 & fact17 -> 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: もし仮に「このトマトは有機食品でないけど坑内労働だ」ということは成り立たないとしたらコントロール下でない

仮説: 「このトマトはコントロール下であるということはなくて更に坑内労働でない」ということは誤りである
1. 事実6から、推論1: "もしも「あの大審院判例は女らしいけどそれは蹴り付けない」ということは嘘であるならば五管理だ"が導かれる
2. 推論1と事実2から、推論2: "「あの大審院判例は五管理である」ということは正しい"が導かれる
3. 事実13から、推論3: "仮にあの大審院判例は五管理であるならばとろ臭い"が導かれる
4. 推論2と推論3から、推論4: "あの大審院判例はとろ臭い"が導かれる
5. 推論4と事実9から、推論5: "その千九百九十九Ｃは喚き立てる"が導かれる
6. 推論5と事実7から、推論6: "その千九百九十九Ｃは未練がましい"が導かれる
7. 事実10から、推論7: "もし仮にその千九百九十九Ｃが未練がましいならばコントロール下だ"が導かれる
8. 推論6と推論7から、推論8: "その千九百九十九Ｃはコントロール下である"が導かれる
9. 推論8と事実17から、仮説が否定される

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