「この府立がフィニッシュしないしさらに確かめない」ということは成り立つということはない
fact1: もしあのバレエダンサーがフィニッシュしないとしたらこの府立は確かめない fact2: もし仮にあの財政投融資が待たすとすればあのバレエダンサーは見境無い fact3: あの財政投融資は見境無いかまたは待たすかまたは両方だ fact4: 全ては逞しい fact5: もしもとあるものは泣き続けないとすれば「それはフィニッシュするということはないしそれは確かめない」ということは成り立たない fact6: その不純は泣き続ける fact7: あのバレエダンサーはフィニッシュするなら「その収授・田主権はフィニッシュする」ということは本当である fact8: あのバレエダンサーは泣き続ける fact9: あの混合性構音障害はフィニッシュしない fact10: 見境無くて日本人らしい物は逞しくない fact11: もし仮に「あのバレエダンサーは泣き続ける」ということは事実と異なるということはないとすると人恋しい fact12: 仮にあの財政投融資が見境無いならあのバレエダンサーは見境無い fact13: もし仮にあのバレエダンサーがフィニッシュするということはないならばこの府立はフィニッシュしないしその上確かめない fact14: この府立は確かめない fact15: もし逞しい物が人恋しいとするとそれはフィニッシュするということはない
fact11 & fact8 -> int1: あのバレエダンサーは人恋しい; fact4 -> int2: あのバレエダンサーは逞しい; int1 & int2 -> int3: あのバレエダンサーは逞しくて加えて人恋しい; fact15 -> int4: もし仮にあのバレエダンサーは逞しくて人恋しいなら「それはフィニッシュするということはない」ということは確かである; int3 & int4 -> int5: あのバレエダンサーはフィニッシュしない; int5 & fact13 -> hypothesis;
「この府立はフィニッシュしないし更に確かめない」ということは事実と異なる
fact20 -> int6: この府立は泣き続けないとすると「フィニッシュしないしかつ確かめるということはない」ということは誤りだ; fact19 -> int7: もしあのバレエダンサーは見境無いしおまけに日本人らしいならばそれは逞しくない; fact17 & fact18 & fact16 -> int8: あのバレエダンサーは見境無い;
$facts$ = fact1: もしあのバレエダンサーがフィニッシュしないとしたらこの府立は確かめない fact2: もし仮にあの財政投融資が待たすとすればあのバレエダンサーは見境無い fact3: あの財政投融資は見境無いかまたは待たすかまたは両方だ fact4: 全ては逞しい fact5: もしもとあるものは泣き続けないとすれば「それはフィニッシュするということはないしそれは確かめない」ということは成り立たない fact6: その不純は泣き続ける fact7: あのバレエダンサーはフィニッシュするなら「その収授・田主権はフィニッシュする」ということは本当である fact8: あのバレエダンサーは泣き続ける fact9: あの混合性構音障害はフィニッシュしない fact10: 見境無くて日本人らしい物は逞しくない fact11: もし仮に「あのバレエダンサーは泣き続ける」ということは事実と異なるということはないとすると人恋しい fact12: 仮にあの財政投融資が見境無いならあのバレエダンサーは見境無い fact13: もし仮にあのバレエダンサーがフィニッシュするということはないならばこの府立はフィニッシュしないしその上確かめない fact14: この府立は確かめない fact15: もし逞しい物が人恋しいとするとそれはフィニッシュするということはない ; $hypothesis$ = 「この府立がフィニッシュしないしさらに確かめない」ということは成り立つということはない ; $proof$ = 
fact11 & fact8 -> int1: あのバレエダンサーは人恋しい; fact4 -> int2: あのバレエダンサーは逞しい; int1 & int2 -> int3: あのバレエダンサーは逞しくて加えて人恋しい; fact15 -> int4: もし仮にあのバレエダンサーは逞しくて人恋しいなら「それはフィニッシュするということはない」ということは確かである; int3 & int4 -> int5: あのバレエダンサーはフィニッシュしない; int5 & fact13 -> hypothesis; __DISPROVED__
事実1: もしあのバレエダンサーがフィニッシュしないとしたらこの府立は確かめない
事実2: もし仮にあの財政投融資が待たすとすればあのバレエダンサーは見境無い
事実3: あの財政投融資は見境無いかまたは待たすかまたは両方だ
事実4: 全ては逞しい
事実5: もしもとあるものは泣き続けないとすれば「それはフィニッシュするということはないしそれは確かめない」ということは成り立たない
事実6: その不純は泣き続ける
事実7: あのバレエダンサーはフィニッシュするなら「その収授・田主権はフィニッシュする」ということは本当である
事実8: あのバレエダンサーは泣き続ける
事実9: あの混合性構音障害はフィニッシュしない
事実10: 見境無くて日本人らしい物は逞しくない
事実11: もし仮に「あのバレエダンサーは泣き続ける」ということは事実と異なるということはないとすると人恋しい
事実12: 仮にあの財政投融資が見境無いならあのバレエダンサーは見境無い
事実13: もし仮にあのバレエダンサーがフィニッシュするということはないならばこの府立はフィニッシュしないしその上確かめない
事実14: この府立は確かめない
事実15: もし逞しい物が人恋しいとするとそれはフィニッシュするということはない

仮説: 「この府立がフィニッシュしないしさらに確かめない」ということは成り立つということはない
1. 事実11と事実8から、推論1: "あのバレエダンサーは人恋しい"が導かれる
2. 事実4から、推論2: "あのバレエダンサーは逞しい"が導かれる
3. 推論1と推論2から、推論3: "あのバレエダンサーは逞しくて加えて人恋しい"が導かれる
4. 事実15から、推論4: "もし仮にあのバレエダンサーは逞しくて人恋しいなら「それはフィニッシュするということはない」ということは確かである"が導かれる
5. 推論3と推論4から、推論5: "あのバレエダンサーはフィニッシュしない"が導かれる
6. 推論5と事実13から、仮説が否定される

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