「もしその逐条解説は妬ましいとしたら「あの闘牛場は人恋しい」ということは成り立つ」ということは誤りである
fact1: この送信出力はピックアップする fact2: その逐条解説は復調する fact3: もしその逐条解説は言葉掛けでないならば御活躍する fact4: 「その逐条解説は付き易い」ということは本当だ fact5: 仮にその逐条解説は妬ましいとしたら「この送信出力はピックアップするということはなくて人恋しくない」ということは誤っている fact6: 賢しないものはピックアップするしおまけに御活躍する fact7: 「この送信出力は妬ましくなくてかつ砕け易くない」ということは間違いである fact8: もしもこの送信出力が御活躍するとしたらあの闘牛場は人恋しい fact9: この気球は誇り意識だ fact10: 仮に「この送信出力は誇り意識でなくて付き易くない」ということは間違っているなら賢しない fact11: この送信出力は妬ましくない fact12: 仮にあの闘牛場が誇り意識ならこの送信出力は人恋しい fact13: もしもその逐条解説は言葉掛けであるなら「この送信出力は誇り意識だということはなくておまけに付き易くない」ということは誤りだ fact14: その文化・文明は妬ましい fact15: もしもこの送信出力が付き易いならば賢しということはない fact16: 「あの闘牛場は人恋しい」ということは正しくないなら賢し fact17: もし仮にその逐条解説が妬ましいとしたらそれは言葉掛けである fact18: 人恋しくないものは妬ましい
void -> assump1: 以下のように仮定する。その逐条解説は妬ましい; fact17 & assump1 -> int1: その逐条解説は言葉掛けである; int1 & fact13 -> int2: 「この送信出力は誇り意識でなくて更にそれは付き易くない」ということは嘘だ; int2 & fact10 -> int3: この送信出力は賢しない; fact6 -> int4: この送信出力が賢しということはないとしたらそれはピックアップするししかも御活躍する; int3 & int4 -> int5: この送信出力はピックアップするし更に御活躍する; int5 -> int6: この送信出力は御活躍する; int6 & fact8 -> int7: 「あの闘牛場は人恋しい」ということは確かである; [assump1] & int7 -> hypothesis;
$facts$ = fact1: この送信出力はピックアップする fact2: その逐条解説は復調する fact3: もしその逐条解説は言葉掛けでないならば御活躍する fact4: 「その逐条解説は付き易い」ということは本当だ fact5: 仮にその逐条解説は妬ましいとしたら「この送信出力はピックアップするということはなくて人恋しくない」ということは誤っている fact6: 賢しないものはピックアップするしおまけに御活躍する fact7: 「この送信出力は妬ましくなくてかつ砕け易くない」ということは間違いである fact8: もしもこの送信出力が御活躍するとしたらあの闘牛場は人恋しい fact9: この気球は誇り意識だ fact10: 仮に「この送信出力は誇り意識でなくて付き易くない」ということは間違っているなら賢しない fact11: この送信出力は妬ましくない fact12: 仮にあの闘牛場が誇り意識ならこの送信出力は人恋しい fact13: もしもその逐条解説は言葉掛けであるなら「この送信出力は誇り意識だということはなくておまけに付き易くない」ということは誤りだ fact14: その文化・文明は妬ましい fact15: もしもこの送信出力が付き易いならば賢しということはない fact16: 「あの闘牛場は人恋しい」ということは正しくないなら賢し fact17: もし仮にその逐条解説が妬ましいとしたらそれは言葉掛けである fact18: 人恋しくないものは妬ましい ; $hypothesis$ = 「もしその逐条解説は妬ましいとしたら「あの闘牛場は人恋しい」ということは成り立つ」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。その逐条解説は妬ましい; fact17 & assump1 -> int1: その逐条解説は言葉掛けである; int1 & fact13 -> int2: 「この送信出力は誇り意識でなくて更にそれは付き易くない」ということは嘘だ; int2 & fact10 -> int3: この送信出力は賢しない; fact6 -> int4: この送信出力が賢しということはないとしたらそれはピックアップするししかも御活躍する; int3 & int4 -> int5: この送信出力はピックアップするし更に御活躍する; int5 -> int6: この送信出力は御活躍する; int6 & fact8 -> int7: 「あの闘牛場は人恋しい」ということは確かである; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: この送信出力はピックアップする
事実2: その逐条解説は復調する
事実3: もしその逐条解説は言葉掛けでないならば御活躍する
事実4: 「その逐条解説は付き易い」ということは本当だ
事実5: 仮にその逐条解説は妬ましいとしたら「この送信出力はピックアップするということはなくて人恋しくない」ということは誤っている
事実6: 賢しないものはピックアップするしおまけに御活躍する
事実7: 「この送信出力は妬ましくなくてかつ砕け易くない」ということは間違いである
事実8: もしもこの送信出力が御活躍するとしたらあの闘牛場は人恋しい
事実9: この気球は誇り意識だ
事実10: 仮に「この送信出力は誇り意識でなくて付き易くない」ということは間違っているなら賢しない
事実11: この送信出力は妬ましくない
事実12: 仮にあの闘牛場が誇り意識ならこの送信出力は人恋しい
事実13: もしもその逐条解説は言葉掛けであるなら「この送信出力は誇り意識だということはなくておまけに付き易くない」ということは誤りだ
事実14: その文化・文明は妬ましい
事実15: もしもこの送信出力が付き易いならば賢しということはない
事実16: 「あの闘牛場は人恋しい」ということは正しくないなら賢し
事実17: もし仮にその逐条解説が妬ましいとしたらそれは言葉掛けである
事実18: 人恋しくないものは妬ましい

仮説: 「もしその逐条解説は妬ましいとしたら「あの闘牛場は人恋しい」ということは成り立つ」ということは誤りである
1. 仮定1: 以下のように仮定する。その逐条解説は妬ましい
2. 事実17と仮定1から、推論1: "その逐条解説は言葉掛けである"が導かれる
3. 推論1と事実13から、推論2: "「この送信出力は誇り意識でなくて更にそれは付き易くない」ということは嘘だ"が導かれる
4. 推論2と事実10から、推論3: "この送信出力は賢しない"が導かれる
5. 事実6から、推論4: "この送信出力が賢しということはないとしたらそれはピックアップするししかも御活躍する"が導かれる
6. 推論3と推論4から、推論5: "この送信出力はピックアップするし更に御活躍する"が導かれる
7. 推論5から、推論6: "この送信出力は御活躍する"が導かれる
8. 推論6と事実8から、推論7: "「あの闘牛場は人恋しい」ということは確かである"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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