「「人妻秘書だが保ち易くない」ということは誤りだとすると「アトラクターだということはない」ということは本当である」物はある
fact1: 「仮にあの銀河が人妻秘書である一方で保ち易いということはないならばあの銀河はアトラクターでない」ということは成り立つ fact2: もし「あの銀河はアトラクターだけれど神々しかない」ということは嘘であるとしたらそれは付託しない fact3: 「もし「準備出来るけど再投資しない」ということは誤りであるとすると隣組でない」ものはある fact4: 「あの電話予約は保ち易いけれど休めるということはない」ということは間違いであるならば「悪しくない」ということは真実だ fact5: 「仮に保ち易いならばアトラクターでない」ものはある fact6: もしも「あの銀河は人妻秘書であるけど保ち易くない」ということは成り立つということはないならアトラクターでない fact7: 仮に「あの銀河は陸揚げする一方で買い易くない」ということは間違いならそれは痛々しくない fact8: もし仮に「あの熱平衡は自己中心主義であるけど痛々しくない」ということは誤りだとするとそれは資産税でない fact9: 仮に「あの銀河は人妻秘書であるけれど保ち易くない」ということは成り立たないならそれはアトラクターだ fact10: もし仮に「あの銀河は人妻秘書でそれにそれは保ち易い」ということは間違いだとすると「それはアトラクターだということはない」ということは成り立つ fact11: もしも「なんらかの物は帽子屋であるけれどアトラクターでない」ということは嘘であるとするとそれは実現出来るということはない fact12: 「「仮に「太り難くて仄白くない」ということは成り立たないとしたら連鎖自殺でない」物はある」ということは確かである fact13: 「もし「人妻秘書であるし保ち易くない」ということは誤りだとすればアトラクターな」ものはある fact14: あの銀河は人妻秘書でないならばそれはアトラクターであるということはない fact15: 「「人妻秘書であるし加えて保ち易い」ということは成り立たないとしたら「アトラクターでない」ということは成り立つ」ものはある fact16: 「もしも人妻秘書だししかも保ち易くないならばアトラクターだということはない」物はある fact17: 「もし「引き回すし痛々しくない」ということは誤りだとすれば管制盤であるということはない」ものはある fact18: 「仮に「卓上カレンダーであるがしかし立て回さない」ということは成り立たないならば申請出来るということはない」物はある fact19: 「もしも「求刑するけれど歯痒くない」ということは間違っているなら素材費であるということはない」物はある fact20: 「なにがしかの物は通常議決方法だが大感激しない」ということは偽であるとしたら隣組でない fact21: 「仮に人妻秘書でないとすればアトラクターでない」ものはある
fact6 -> hypothesis;
「もし「通常議決方法だし大感激するということはない」ということは誤っているとすれば隣組でない」物はある
fact22 -> int1: もし仮に「その女衒は通常議決方法だ一方で大感激しない」ということは誤りならば「隣組でない」ということは確かだ; int1 -> hypothesis;
$facts$ = fact1: 「仮にあの銀河が人妻秘書である一方で保ち易いということはないならばあの銀河はアトラクターでない」ということは成り立つ fact2: もし「あの銀河はアトラクターだけれど神々しかない」ということは嘘であるとしたらそれは付託しない fact3: 「もし「準備出来るけど再投資しない」ということは誤りであるとすると隣組でない」ものはある fact4: 「あの電話予約は保ち易いけれど休めるということはない」ということは間違いであるならば「悪しくない」ということは真実だ fact5: 「仮に保ち易いならばアトラクターでない」ものはある fact6: もしも「あの銀河は人妻秘書であるけど保ち易くない」ということは成り立つということはないならアトラクターでない fact7: 仮に「あの銀河は陸揚げする一方で買い易くない」ということは間違いならそれは痛々しくない fact8: もし仮に「あの熱平衡は自己中心主義であるけど痛々しくない」ということは誤りだとするとそれは資産税でない fact9: 仮に「あの銀河は人妻秘書であるけれど保ち易くない」ということは成り立たないならそれはアトラクターだ fact10: もし仮に「あの銀河は人妻秘書でそれにそれは保ち易い」ということは間違いだとすると「それはアトラクターだということはない」ということは成り立つ fact11: もしも「なんらかの物は帽子屋であるけれどアトラクターでない」ということは嘘であるとするとそれは実現出来るということはない fact12: 「「仮に「太り難くて仄白くない」ということは成り立たないとしたら連鎖自殺でない」物はある」ということは確かである fact13: 「もし「人妻秘書であるし保ち易くない」ということは誤りだとすればアトラクターな」ものはある fact14: あの銀河は人妻秘書でないならばそれはアトラクターであるということはない fact15: 「「人妻秘書であるし加えて保ち易い」ということは成り立たないとしたら「アトラクターでない」ということは成り立つ」ものはある fact16: 「もしも人妻秘書だししかも保ち易くないならばアトラクターだということはない」物はある fact17: 「もし「引き回すし痛々しくない」ということは誤りだとすれば管制盤であるということはない」ものはある fact18: 「仮に「卓上カレンダーであるがしかし立て回さない」ということは成り立たないならば申請出来るということはない」物はある fact19: 「もしも「求刑するけれど歯痒くない」ということは間違っているなら素材費であるということはない」物はある fact20: 「なにがしかの物は通常議決方法だが大感激しない」ということは偽であるとしたら隣組でない fact21: 「仮に人妻秘書でないとすればアトラクターでない」ものはある ; $hypothesis$ = 「「人妻秘書だが保ち易くない」ということは誤りだとすると「アトラクターだということはない」ということは本当である」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「仮にあの銀河が人妻秘書である一方で保ち易いということはないならばあの銀河はアトラクターでない」ということは成り立つ
事実2: もし「あの銀河はアトラクターだけれど神々しかない」ということは嘘であるとしたらそれは付託しない
事実3: 「もし「準備出来るけど再投資しない」ということは誤りであるとすると隣組でない」ものはある
事実4: 「あの電話予約は保ち易いけれど休めるということはない」ということは間違いであるならば「悪しくない」ということは真実だ
事実5: 「仮に保ち易いならばアトラクターでない」ものはある
事実6: もしも「あの銀河は人妻秘書であるけど保ち易くない」ということは成り立つということはないならアトラクターでない
事実7: 仮に「あの銀河は陸揚げする一方で買い易くない」ということは間違いならそれは痛々しくない
事実8: もし仮に「あの熱平衡は自己中心主義であるけど痛々しくない」ということは誤りだとするとそれは資産税でない
事実9: 仮に「あの銀河は人妻秘書であるけれど保ち易くない」ということは成り立たないならそれはアトラクターだ
事実10: もし仮に「あの銀河は人妻秘書でそれにそれは保ち易い」ということは間違いだとすると「それはアトラクターだということはない」ということは成り立つ
事実11: もしも「なんらかの物は帽子屋であるけれどアトラクターでない」ということは嘘であるとするとそれは実現出来るということはない
事実12: 「「仮に「太り難くて仄白くない」ということは成り立たないとしたら連鎖自殺でない」物はある」ということは確かである
事実13: 「もし「人妻秘書であるし保ち易くない」ということは誤りだとすればアトラクターな」ものはある
事実14: あの銀河は人妻秘書でないならばそれはアトラクターであるということはない
事実15: 「「人妻秘書であるし加えて保ち易い」ということは成り立たないとしたら「アトラクターでない」ということは成り立つ」ものはある
事実16: 「もしも人妻秘書だししかも保ち易くないならばアトラクターだということはない」物はある
事実17: 「もし「引き回すし痛々しくない」ということは誤りだとすれば管制盤であるということはない」ものはある
事実18: 「仮に「卓上カレンダーであるがしかし立て回さない」ということは成り立たないならば申請出来るということはない」物はある
事実19: 「もしも「求刑するけれど歯痒くない」ということは間違っているなら素材費であるということはない」物はある
事実20: 「なにがしかの物は通常議決方法だが大感激しない」ということは偽であるとしたら隣組でない
事実21: 「仮に人妻秘書でないとすればアトラクターでない」ものはある

仮説: 「「人妻秘書だが保ち易くない」ということは誤りだとすると「アトラクターだということはない」ということは本当である」物はある
1. 事実6から、仮説が導かれる

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