この落下音は生かす
fact1: 仮にこのＰレファレンスが生かすとしたらこの落下音は生かす fact2: 「この落下音は可愛らしい」ということは成り立つ fact3: この蔵入地は大き過ぎるということはない fact4: ある物は借り易いとすると「可愛らしくないけどめぼしい」ということは誤りだ fact5: もし「なんらかの物は発揮し難くないけど見限る」ということは事実と異なればそれは生かさない fact6: もし仮に何かはムービープレビューでないとしたらそれは生かすしそれに可愛らしい fact7: もしもこの落下音は可愛らしいとしたら「発揮し難いということはないが見限る」ということは成り立たない
fact7 & fact2 -> int1: 「この落下音は発揮し難くない一方で見限る」ということは誤りである; fact5 -> int2: もし仮に「この落下音は発揮し難くないがしかし見限る」ということは成り立たないとしたらそれは生かさない; int1 & int2 -> hypothesis;
「この落下音は生かす」ということは成り立つ
fact9 -> int3: 仮にこのＰレファレンスはムービープレビューでないならばそれは生かすしかつ可愛らしい;
$facts$ = fact1: 仮にこのＰレファレンスが生かすとしたらこの落下音は生かす fact2: 「この落下音は可愛らしい」ということは成り立つ fact3: この蔵入地は大き過ぎるということはない fact4: ある物は借り易いとすると「可愛らしくないけどめぼしい」ということは誤りだ fact5: もし「なんらかの物は発揮し難くないけど見限る」ということは事実と異なればそれは生かさない fact6: もし仮に何かはムービープレビューでないとしたらそれは生かすしそれに可愛らしい fact7: もしもこの落下音は可愛らしいとしたら「発揮し難いということはないが見限る」ということは成り立たない ; $hypothesis$ = この落下音は生かす ; $proof$ = 
fact7 & fact2 -> int1: 「この落下音は発揮し難くない一方で見限る」ということは誤りである; fact5 -> int2: もし仮に「この落下音は発揮し難くないがしかし見限る」ということは成り立たないとしたらそれは生かさない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にこのＰレファレンスが生かすとしたらこの落下音は生かす
事実2: 「この落下音は可愛らしい」ということは成り立つ
事実3: この蔵入地は大き過ぎるということはない
事実4: ある物は借り易いとすると「可愛らしくないけどめぼしい」ということは誤りだ
事実5: もし「なんらかの物は発揮し難くないけど見限る」ということは事実と異なればそれは生かさない
事実6: もし仮に何かはムービープレビューでないとしたらそれは生かすしそれに可愛らしい
事実7: もしもこの落下音は可愛らしいとしたら「発揮し難いということはないが見限る」ということは成り立たない

仮説: この落下音は生かす
1. 事実7と事実2から、推論1: "「この落下音は発揮し難くない一方で見限る」ということは誤りである"が導かれる
2. 事実5から、推論2: "もし仮に「この落下音は発揮し難くないがしかし見限る」ということは成り立たないとしたらそれは生かさない"が導かれる
3. 推論1と推論2から、仮説が否定される

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