あの建材は帰属である
fact1: もし仮に「「とある物は天城側で更にそれは見詰め合う」ということは確かだ」ということは事実と異なるとしたら見詰め合わない fact2: 仮になんらかのものが天城側でないとすると帰属だし見詰め合う fact3: もしもその移相は見詰め合うとすると「あの建材は近しくない」ということは成り立つ fact4: その移相が見詰め合うならあの建材は赤頭巾であるがそれは近しくない fact5: もしもあの建材が赤頭巾であるしかつ近しいならば帰属でない fact6: 「その移相は省けるしそれは原告側である」ということは偽である fact7: この付加体堆積物は見詰め合う fact8: なんらかのものは帰属でないなら「それは天城側でそれに見詰め合う」ということは間違っている fact9: もし仮にその移相が天城側でないし治癒的広範切除術でないとするとあの建材は天城側でない fact10: もし「「天城側であるということはなくて治癒的広範切除術である」ということは成り立たない」ものがあるならばあの建材は天城側である fact11: もし仮になんらかのものがリニューアルするとすれば天城側でなくてそれに治癒的広範切除術でない fact12: あらゆる物はリニューアルするということはない fact13: もしもあの建材は赤頭巾だけれど近しくないとすればそれは帰属でない fact14: もし仮にこの坊主頭がリニューアルするとすればそれは治癒的広範切除術だ fact15: もし何かは原告側でないならそれは省けないし焼き上げる fact16: もしもその移相が赤頭巾であるならあの建材は近しくない fact17: もし仮に「なにがしかのものはリニューアルしない」ということは成り立つとしたら「それは天城側であるということはないけど治癒的広範切除術だ」ということは偽だ fact18: もしもこの来し方が省けるということはない一方で焼き上げるとすればその移相はリニューアルする fact19: もし仮に「その移相は省けるししかも原告側である」ということは正しくないならば「省けない」ということは成り立つ fact20: 「あの建材は近しくない」ということは確かだ fact21: 仮にあの建材は帰属であるがしかし見詰め合わないとすると赤頭巾でない fact22: もしも何かは治癒的広範切除術であるとすれば帰属でない fact23: その移相は見詰め合う
fact4 & fact23 -> int1: あの建材は赤頭巾だがしかしそれは近しくない; int1 & fact13 -> hypothesis;
この坊主頭は見詰め合わない
fact27 -> int2: もしも「この坊主頭は天城側であるしおまけにそれは見詰め合う」ということは嘘であるならば見詰め合わない; fact29 -> int3: もしもこの坊主頭は帰属でないとすると「天城側で更に見詰め合う」ということは偽だ; fact28 -> int4: この坊主頭は治癒的広範切除術であるならばそれは帰属でない; fact24 & fact25 -> int5: 「その移相は省けるということはない」ということは本当である; int5 -> int6: なにかは省けない;
$facts$ = fact1: もし仮に「「とある物は天城側で更にそれは見詰め合う」ということは確かだ」ということは事実と異なるとしたら見詰め合わない fact2: 仮になんらかのものが天城側でないとすると帰属だし見詰め合う fact3: もしもその移相は見詰め合うとすると「あの建材は近しくない」ということは成り立つ fact4: その移相が見詰め合うならあの建材は赤頭巾であるがそれは近しくない fact5: もしもあの建材が赤頭巾であるしかつ近しいならば帰属でない fact6: 「その移相は省けるしそれは原告側である」ということは偽である fact7: この付加体堆積物は見詰め合う fact8: なんらかのものは帰属でないなら「それは天城側でそれに見詰め合う」ということは間違っている fact9: もし仮にその移相が天城側でないし治癒的広範切除術でないとするとあの建材は天城側でない fact10: もし「「天城側であるということはなくて治癒的広範切除術である」ということは成り立たない」ものがあるならばあの建材は天城側である fact11: もし仮になんらかのものがリニューアルするとすれば天城側でなくてそれに治癒的広範切除術でない fact12: あらゆる物はリニューアルするということはない fact13: もしもあの建材は赤頭巾だけれど近しくないとすればそれは帰属でない fact14: もし仮にこの坊主頭がリニューアルするとすればそれは治癒的広範切除術だ fact15: もし何かは原告側でないならそれは省けないし焼き上げる fact16: もしもその移相が赤頭巾であるならあの建材は近しくない fact17: もし仮に「なにがしかのものはリニューアルしない」ということは成り立つとしたら「それは天城側であるということはないけど治癒的広範切除術だ」ということは偽だ fact18: もしもこの来し方が省けるということはない一方で焼き上げるとすればその移相はリニューアルする fact19: もし仮に「その移相は省けるししかも原告側である」ということは正しくないならば「省けない」ということは成り立つ fact20: 「あの建材は近しくない」ということは確かだ fact21: 仮にあの建材は帰属であるがしかし見詰め合わないとすると赤頭巾でない fact22: もしも何かは治癒的広範切除術であるとすれば帰属でない fact23: その移相は見詰め合う ; $hypothesis$ = あの建材は帰属である ; $proof$ = 
fact4 & fact23 -> int1: あの建材は赤頭巾だがしかしそれは近しくない; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮に「「とある物は天城側で更にそれは見詰め合う」ということは確かだ」ということは事実と異なるとしたら見詰め合わない
事実2: 仮になんらかのものが天城側でないとすると帰属だし見詰め合う
事実3: もしもその移相は見詰め合うとすると「あの建材は近しくない」ということは成り立つ
事実4: その移相が見詰め合うならあの建材は赤頭巾であるがそれは近しくない
事実5: もしもあの建材が赤頭巾であるしかつ近しいならば帰属でない
事実6: 「その移相は省けるしそれは原告側である」ということは偽である
事実7: この付加体堆積物は見詰め合う
事実8: なんらかのものは帰属でないなら「それは天城側でそれに見詰め合う」ということは間違っている
事実9: もし仮にその移相が天城側でないし治癒的広範切除術でないとするとあの建材は天城側でない
事実10: もし「「天城側であるということはなくて治癒的広範切除術である」ということは成り立たない」ものがあるならばあの建材は天城側である
事実11: もし仮になんらかのものがリニューアルするとすれば天城側でなくてそれに治癒的広範切除術でない
事実12: あらゆる物はリニューアルするということはない
事実13: もしもあの建材は赤頭巾だけれど近しくないとすればそれは帰属でない
事実14: もし仮にこの坊主頭がリニューアルするとすればそれは治癒的広範切除術だ
事実15: もし何かは原告側でないならそれは省けないし焼き上げる
事実16: もしもその移相が赤頭巾であるならあの建材は近しくない
事実17: もし仮に「なにがしかのものはリニューアルしない」ということは成り立つとしたら「それは天城側であるということはないけど治癒的広範切除術だ」ということは偽だ
事実18: もしもこの来し方が省けるということはない一方で焼き上げるとすればその移相はリニューアルする
事実19: もし仮に「その移相は省けるししかも原告側である」ということは正しくないならば「省けない」ということは成り立つ
事実20: 「あの建材は近しくない」ということは確かだ
事実21: 仮にあの建材は帰属であるがしかし見詰め合わないとすると赤頭巾でない
事実22: もしも何かは治癒的広範切除術であるとすれば帰属でない
事実23: その移相は見詰め合う

仮説: あの建材は帰属である
1. 事実4と事実23から、推論1: "あの建材は赤頭巾だがしかしそれは近しくない"が導かれる
2. 推論1と事実13から、仮説が否定される

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