「あの基礎価値はボタンコントロールであるかまたはそれは行き易いかまたは両方ともである」ということは真実だ
fact1: もしもその営利新聞はボタンコントロールでないなら「あの基礎価値は拡散だし加えてそれはボタンコントロールだ」ということは本当だ fact2: 「この兼業グループはすばしこいということはないがしかしＴ式爪甲剪刀である」ということは誤っている fact3: もし仮に「この兼業グループはすばしこくない一方でＴ式爪甲剪刀だ」ということは嘘だとするとそれは無い fact4: その浴槽は拡散であるか取り消しだ fact5: すばしこいものはＴ式爪甲剪刀である fact6: もしもその浴槽が発願だとすればあの営利新聞はボタンコントロールでない fact7: 仮にその浴槽は無くないなら「あの基礎価値はボタンコントロールであるかまたはそれは行き易い」ということは成り立たない fact8: もしその浴槽が取り消しでなくて発願であるということはないならばあの兼業グループは無くない fact9: Ｔ式爪甲剪刀は無くないししかも拡散でない fact10: 「あの基礎価値は拡散だ」ということは正しい fact11: もし「その浴槽は取り消しであるということはないしその上発願でない」ということは間違いであるならその営利新聞はボタンコントロールでない
void -> assump1: 以下のように仮定する。その浴槽は取り消しでないし発願だということはない; fact8 & assump1 -> int1: この兼業グループは無くない; fact3 & fact2 -> int2: この兼業グループは無い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その浴槽は取り消しだということはなくて発願でない」ということは本当でない; int4 & fact11 -> int5: その営利新聞はボタンコントロールでない; int5 & fact1 -> int6: あの基礎価値は拡散だし加えてボタンコントロールである; int6 -> int7: あの基礎価値はボタンコントロールである; int7 -> hypothesis;
「あの基礎価値はボタンコントロールであるかまたはそれは行き易いか両方だ」ということは正しくない
fact13 -> int8: 仮に「その浴槽はＴ式爪甲剪刀だ」ということは成り立てばそれは無くないし拡散でない; fact14 -> int9: もし「その浴槽はすばしこい」ということは正しいならばＴ式爪甲剪刀である;
$facts$ = fact1: もしもその営利新聞はボタンコントロールでないなら「あの基礎価値は拡散だし加えてそれはボタンコントロールだ」ということは本当だ fact2: 「この兼業グループはすばしこいということはないがしかしＴ式爪甲剪刀である」ということは誤っている fact3: もし仮に「この兼業グループはすばしこくない一方でＴ式爪甲剪刀だ」ということは嘘だとするとそれは無い fact4: その浴槽は拡散であるか取り消しだ fact5: すばしこいものはＴ式爪甲剪刀である fact6: もしもその浴槽が発願だとすればあの営利新聞はボタンコントロールでない fact7: 仮にその浴槽は無くないなら「あの基礎価値はボタンコントロールであるかまたはそれは行き易い」ということは成り立たない fact8: もしその浴槽が取り消しでなくて発願であるということはないならばあの兼業グループは無くない fact9: Ｔ式爪甲剪刀は無くないししかも拡散でない fact10: 「あの基礎価値は拡散だ」ということは正しい fact11: もし「その浴槽は取り消しであるということはないしその上発願でない」ということは間違いであるならその営利新聞はボタンコントロールでない ; $hypothesis$ = 「あの基礎価値はボタンコントロールであるかまたはそれは行き易いかまたは両方ともである」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その浴槽は取り消しでないし発願だということはない; fact8 & assump1 -> int1: この兼業グループは無くない; fact3 & fact2 -> int2: この兼業グループは無い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その浴槽は取り消しだということはなくて発願でない」ということは本当でない; int4 & fact11 -> int5: その営利新聞はボタンコントロールでない; int5 & fact1 -> int6: あの基礎価値は拡散だし加えてボタンコントロールである; int6 -> int7: あの基礎価値はボタンコントロールである; int7 -> hypothesis; __PROVED__
事実1: もしもその営利新聞はボタンコントロールでないなら「あの基礎価値は拡散だし加えてそれはボタンコントロールだ」ということは本当だ
事実2: 「この兼業グループはすばしこいということはないがしかしＴ式爪甲剪刀である」ということは誤っている
事実3: もし仮に「この兼業グループはすばしこくない一方でＴ式爪甲剪刀だ」ということは嘘だとするとそれは無い
事実4: その浴槽は拡散であるか取り消しだ
事実5: すばしこいものはＴ式爪甲剪刀である
事実6: もしもその浴槽が発願だとすればあの営利新聞はボタンコントロールでない
事実7: 仮にその浴槽は無くないなら「あの基礎価値はボタンコントロールであるかまたはそれは行き易い」ということは成り立たない
事実8: もしその浴槽が取り消しでなくて発願であるということはないならばあの兼業グループは無くない
事実9: Ｔ式爪甲剪刀は無くないししかも拡散でない
事実10: 「あの基礎価値は拡散だ」ということは正しい
事実11: もし「その浴槽は取り消しであるということはないしその上発願でない」ということは間違いであるならその営利新聞はボタンコントロールでない

仮説: 「あの基礎価値はボタンコントロールであるかまたはそれは行き易いかまたは両方ともである」ということは真実だ
1. 仮定1: 以下のように仮定する。その浴槽は取り消しでないし発願だということはない
2. 事実8と仮定1から、推論1: "この兼業グループは無くない"が導かれる
3. 事実3と事実2から、推論2: "この兼業グループは無い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その浴槽は取り消しだということはなくて発願でない」ということは本当でない"が導かれる
6. 推論4と事実11から、推論5: "その営利新聞はボタンコントロールでない"が導かれる
7. 推論5と事実1から、推論6: "あの基礎価値は拡散だし加えてボタンコントロールである"が導かれる
8. 推論6から、推論7: "あの基礎価値はボタンコントロールである"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。