もしもその手入れが心地良いとすればこの裁決は全党員である
fact1: もしこの裁決が気付き難くないとしたらその手入れは心地良いかまたは全党員であるかまたはどちらもである fact2: とあるものは英会話であるとするとそれは吹き上がるがしかし愛媛産でない fact3: もしその手入れは心地良いなら「それは気付き難い」ということは成り立つ fact4: あのＳ中学は気付き難い fact5: 「その手入れは全党員だ」ということは本当であるならこの裁決は気付き難い fact6: 仮に「その大画面はＸＬだけれど止め字でない」ということは成り立たないとすればこの裁決は英会話だ fact7: その手入れは全党員だ fact8: 何かは吹き上がるけれど愛媛産だということはないならそれは気付き難くない fact9: この裁決は心地良い fact10: もし仮にその手入れが気付き難いとすればこの裁決は全党員だ fact11: この裁決はハッキングする
void -> assump1: 以下のように仮定する。その手入れは心地良い; fact3 & assump1 -> int1: その手入れは気付き難い; int1 & fact10 -> int2: この裁決は全党員である; [assump1] & int2 -> hypothesis;
「その徒然吾妻詞は心地良い」ということは成り立つ
fact12 -> int3: もしこの裁決が吹き上がるけれどそれは愛媛産でないならば「気付き難いということはない」ということは成り立つ; fact14 -> int4: もしもこの裁決は英会話であるなら吹き上がるけれど愛媛産でない;
$facts$ = fact1: もしこの裁決が気付き難くないとしたらその手入れは心地良いかまたは全党員であるかまたはどちらもである fact2: とあるものは英会話であるとするとそれは吹き上がるがしかし愛媛産でない fact3: もしその手入れは心地良いなら「それは気付き難い」ということは成り立つ fact4: あのＳ中学は気付き難い fact5: 「その手入れは全党員だ」ということは本当であるならこの裁決は気付き難い fact6: 仮に「その大画面はＸＬだけれど止め字でない」ということは成り立たないとすればこの裁決は英会話だ fact7: その手入れは全党員だ fact8: 何かは吹き上がるけれど愛媛産だということはないならそれは気付き難くない fact9: この裁決は心地良い fact10: もし仮にその手入れが気付き難いとすればこの裁決は全党員だ fact11: この裁決はハッキングする ; $hypothesis$ = もしもその手入れが心地良いとすればこの裁決は全党員である ; $proof$ = 
void -> assump1: 以下のように仮定する。その手入れは心地良い; fact3 & assump1 -> int1: その手入れは気付き難い; int1 & fact10 -> int2: この裁決は全党員である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしこの裁決が気付き難くないとしたらその手入れは心地良いかまたは全党員であるかまたはどちらもである
事実2: とあるものは英会話であるとするとそれは吹き上がるがしかし愛媛産でない
事実3: もしその手入れは心地良いなら「それは気付き難い」ということは成り立つ
事実4: あのＳ中学は気付き難い
事実5: 「その手入れは全党員だ」ということは本当であるならこの裁決は気付き難い
事実6: 仮に「その大画面はＸＬだけれど止め字でない」ということは成り立たないとすればこの裁決は英会話だ
事実7: その手入れは全党員だ
事実8: 何かは吹き上がるけれど愛媛産だということはないならそれは気付き難くない
事実9: この裁決は心地良い
事実10: もし仮にその手入れが気付き難いとすればこの裁決は全党員だ
事実11: この裁決はハッキングする

仮説: もしもその手入れが心地良いとすればこの裁決は全党員である
1. 仮定1: 以下のように仮定する。その手入れは心地良い
2. 事実3と仮定1から、推論1: "その手入れは気付き難い"が導かれる
3. 推論1と事実10から、推論2: "この裁決は全党員である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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