あの百労は見詰め合う
fact1: この透析センターは一寒村でない fact2: そのＪＥが交わせないけど作り易いとすればあの悪霊は作り易くない fact3: 仮にこの透析センターが移動距離だがそれが一寒村でないとしたらあの百労は見詰め合わない fact4: もし仮にある物は見詰め合わなくて一寒村だということはないなら移動距離でない fact5: 「この透析センターは借地借家でない」ということは誤りでない fact6: この一泡は見詰め合うということはない fact7: もしこの社会教育が味気無いならばこの透析センターは一寒村だ fact8: もしもあの悪霊は作り易いということはないとすると「あのドイツ領は世界市場向けでないがしかし脱却する」ということは誤っている fact9: もしも「あのドイツ領は世界市場向けでないけど脱却する」ということは成り立たないならこの比島沖海戦は飲み易い fact10: 使用し難いものは交わせない一方で作り易い fact11: 仮に何らかの物は移動距離であるならそれは見詰め合う fact12: この比島沖海戦が飲み易いとすればこの社会教育は味気無い fact13: 仮にこの透析センターは一寒村であるとすると「あの百労は移動距離である」ということは事実だ fact14: この透析センターは移動距離だ
fact14 & fact1 -> int1: この透析センターは移動距離だがしかし一寒村でない; int1 & fact3 -> hypothesis;
「その草葉は移動距離であるということはない」ということは成り立つ
fact15 -> int2: 仮にその草葉が見詰め合わないしかつ一寒村でないならば移動距離でない;
$facts$ = fact1: この透析センターは一寒村でない fact2: そのＪＥが交わせないけど作り易いとすればあの悪霊は作り易くない fact3: 仮にこの透析センターが移動距離だがそれが一寒村でないとしたらあの百労は見詰め合わない fact4: もし仮にある物は見詰め合わなくて一寒村だということはないなら移動距離でない fact5: 「この透析センターは借地借家でない」ということは誤りでない fact6: この一泡は見詰め合うということはない fact7: もしこの社会教育が味気無いならばこの透析センターは一寒村だ fact8: もしもあの悪霊は作り易いということはないとすると「あのドイツ領は世界市場向けでないがしかし脱却する」ということは誤っている fact9: もしも「あのドイツ領は世界市場向けでないけど脱却する」ということは成り立たないならこの比島沖海戦は飲み易い fact10: 使用し難いものは交わせない一方で作り易い fact11: 仮に何らかの物は移動距離であるならそれは見詰め合う fact12: この比島沖海戦が飲み易いとすればこの社会教育は味気無い fact13: 仮にこの透析センターは一寒村であるとすると「あの百労は移動距離である」ということは事実だ fact14: この透析センターは移動距離だ ; $hypothesis$ = あの百労は見詰め合う ; $proof$ = 
fact14 & fact1 -> int1: この透析センターは移動距離だがしかし一寒村でない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この透析センターは一寒村でない
事実2: そのＪＥが交わせないけど作り易いとすればあの悪霊は作り易くない
事実3: 仮にこの透析センターが移動距離だがそれが一寒村でないとしたらあの百労は見詰め合わない
事実4: もし仮にある物は見詰め合わなくて一寒村だということはないなら移動距離でない
事実5: 「この透析センターは借地借家でない」ということは誤りでない
事実6: この一泡は見詰め合うということはない
事実7: もしこの社会教育が味気無いならばこの透析センターは一寒村だ
事実8: もしもあの悪霊は作り易いということはないとすると「あのドイツ領は世界市場向けでないがしかし脱却する」ということは誤っている
事実9: もしも「あのドイツ領は世界市場向けでないけど脱却する」ということは成り立たないならこの比島沖海戦は飲み易い
事実10: 使用し難いものは交わせない一方で作り易い
事実11: 仮に何らかの物は移動距離であるならそれは見詰め合う
事実12: この比島沖海戦が飲み易いとすればこの社会教育は味気無い
事実13: 仮にこの透析センターは一寒村であるとすると「あの百労は移動距離である」ということは事実だ
事実14: この透析センターは移動距離だ

仮説: あの百労は見詰め合う
1. 事実14と事実1から、推論1: "この透析センターは移動距離だがしかし一寒村でない"が導かれる
2. 推論1と事実3から、仮説が否定される

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