「そのスカイラインＧＴ‐Ｒは貼用するしまた弁解がましい」ということは間違っている
fact1: もしなにがしかのものはアメリカ機でないとしたらそれは貼用しない fact2: 「「形容し難い一方で陛下政府でない」ということは本当でない」ものはある fact3: もしとある物が手痛いとすれば弁解がましい fact4: このクリーナーは弁解がましいならば「そのスカイラインＧＴ‐Ｒは貼用しない」ということは確かである fact5: 仮に「「形容し難いし陛下政府でない」ということは間違いな」物があるならばあの判取り帳はアメリカ機である fact6: 「このクリーナーは貼用するしおまけに弁解がましい」ということは成り立たない fact7: 仮にある物は手痛くないとすれば「それは弁解がましいし御し易い」ということは誤っている fact8: 独裁国は手痛い fact9: アメリカ機は貼用する fact10: なにかは置き直さないならそれはプレイ出来なくてそれは計上額でない fact11: 仮に「「このクリーナーは建築しなくて話し難くない」ということは正しいということはない」ということは確かであるとすると置き直さない fact12: 「このクリーナーは建築するということはなくてかつ話し難くない」ということは成り立つということはない fact13: もしもこの判取り帳が手痛いならばこのクリーナーはアメリカ機だということはない fact14: もしもこの判取り帳が貼用すればそのスカイラインＧＴ‐Ｒは貼用する fact15: もし仮にあるものが貼用しないけどそれはアメリカ機ならば「手痛くない」ということは確かだ fact16: 仮に「このクリーナーは貼用しない」ということは成り立つなら「そのスカイラインＧＴ‐Ｒは貼用するしそれにそれは弁解がましい」ということは成り立たない fact17: この判取り帳は手痛い fact18: なにかは独裁国だとすれば貼用しなくて加えてアメリカ機だ
fact13 & fact17 -> int1: このクリーナーはアメリカ機でない; fact1 -> int2: もしもこのクリーナーはアメリカ機でないとすれば「それは貼用しない」ということは成り立つ; int1 & int2 -> int3: このクリーナーは貼用しない; int3 & fact16 -> hypothesis;
fact13 & fact17 -> int1: ¬{B}{b}; fact1 -> int2: ¬{B}{b} -> ¬{C}{b}; int1 & int2 -> int3: ¬{C}{b}; int3 & fact16 -> hypothesis;
「その講義中は弁解がましいしまたそれは御し易い」ということは事実と異なる
fact19 -> int4: 「仮に「その講義中は手痛くない」ということは成り立つとしたら「その講義中は弁解がましいし更に御し易い」ということは事実と異なる」ということは本当である; fact20 -> int5: もしその講義中は貼用しないがアメリカ機であるならそれは手痛くない; fact21 -> int6: その講義中が独裁国であるとすれば貼用するということはなくてしかもそれはアメリカ機だ;
$facts$ = fact1: もしなにがしかのものはアメリカ機でないとしたらそれは貼用しない fact2: 「「形容し難い一方で陛下政府でない」ということは本当でない」ものはある fact3: もしとある物が手痛いとすれば弁解がましい fact4: このクリーナーは弁解がましいならば「そのスカイラインＧＴ‐Ｒは貼用しない」ということは確かである fact5: 仮に「「形容し難いし陛下政府でない」ということは間違いな」物があるならばあの判取り帳はアメリカ機である fact6: 「このクリーナーは貼用するしおまけに弁解がましい」ということは成り立たない fact7: 仮にある物は手痛くないとすれば「それは弁解がましいし御し易い」ということは誤っている fact8: 独裁国は手痛い fact9: アメリカ機は貼用する fact10: なにかは置き直さないならそれはプレイ出来なくてそれは計上額でない fact11: 仮に「「このクリーナーは建築しなくて話し難くない」ということは正しいということはない」ということは確かであるとすると置き直さない fact12: 「このクリーナーは建築するということはなくてかつ話し難くない」ということは成り立つということはない fact13: もしもこの判取り帳が手痛いならばこのクリーナーはアメリカ機だということはない fact14: もしもこの判取り帳が貼用すればそのスカイラインＧＴ‐Ｒは貼用する fact15: もし仮にあるものが貼用しないけどそれはアメリカ機ならば「手痛くない」ということは確かだ fact16: 仮に「このクリーナーは貼用しない」ということは成り立つなら「そのスカイラインＧＴ‐Ｒは貼用するしそれにそれは弁解がましい」ということは成り立たない fact17: この判取り帳は手痛い fact18: なにかは独裁国だとすれば貼用しなくて加えてアメリカ機だ ; $hypothesis$ = 「そのスカイラインＧＴ‐Ｒは貼用するしまた弁解がましい」ということは間違っている ; $proof$ = 
fact13 & fact17 -> int1: このクリーナーはアメリカ機でない; fact1 -> int2: もしもこのクリーナーはアメリカ機でないとすれば「それは貼用しない」ということは成り立つ; int1 & int2 -> int3: このクリーナーは貼用しない; int3 & fact16 -> hypothesis; __PROVED__
事実1: もしなにがしかのものはアメリカ機でないとしたらそれは貼用しない
事実2: 「「形容し難い一方で陛下政府でない」ということは本当でない」ものはある
事実3: もしとある物が手痛いとすれば弁解がましい
事実4: このクリーナーは弁解がましいならば「そのスカイラインＧＴ‐Ｒは貼用しない」ということは確かである
事実5: 仮に「「形容し難いし陛下政府でない」ということは間違いな」物があるならばあの判取り帳はアメリカ機である
事実6: 「このクリーナーは貼用するしおまけに弁解がましい」ということは成り立たない
事実7: 仮にある物は手痛くないとすれば「それは弁解がましいし御し易い」ということは誤っている
事実8: 独裁国は手痛い
事実9: アメリカ機は貼用する
事実10: なにかは置き直さないならそれはプレイ出来なくてそれは計上額でない
事実11: 仮に「「このクリーナーは建築しなくて話し難くない」ということは正しいということはない」ということは確かであるとすると置き直さない
事実12: 「このクリーナーは建築するということはなくてかつ話し難くない」ということは成り立つということはない
事実13: もしもこの判取り帳が手痛いならばこのクリーナーはアメリカ機だということはない
事実14: もしもこの判取り帳が貼用すればそのスカイラインＧＴ‐Ｒは貼用する
事実15: もし仮にあるものが貼用しないけどそれはアメリカ機ならば「手痛くない」ということは確かだ
事実16: 仮に「このクリーナーは貼用しない」ということは成り立つなら「そのスカイラインＧＴ‐Ｒは貼用するしそれにそれは弁解がましい」ということは成り立たない
事実17: この判取り帳は手痛い
事実18: なにかは独裁国だとすれば貼用しなくて加えてアメリカ機だ

仮説: 「そのスカイラインＧＴ‐Ｒは貼用するしまた弁解がましい」ということは間違っている
1. 事実13と事実17から、推論1: "このクリーナーはアメリカ機でない"が導かれる
2. 事実1から、推論2: "もしもこのクリーナーはアメリカ機でないとすれば「それは貼用しない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このクリーナーは貼用しない"が導かれる
4. 推論3と事実16から、仮説が導かれる

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