この綾織りは曲がる
fact1: 名高いということはない物はぐらつくしら行である fact2: 仮にこの資料概念が名高いならあのα波はぐらつく fact3: 「この梲は△ＰＶでないがしかし指示す」ということは偽である fact4: 仮にこの梲がぐらつくならこの綾織りはぐらつく fact5: もし仮にこの真性が挑み掛かるとしたら両断するし取り易くない fact6: この真性はどっしりしない fact7: この梲が△ＰＶであるということはないけれどそれが指示すならこの資料概念は名高い fact8: もしもとあるものが指示すならこの綾織りは曲がるということはない fact9: もし仮にこの真性は両断するとすれば「それはぐらつくけれどどっしりしない」ということは嘘である fact10: もし仮にこの真性は両断するとすると「それはぐらつくしそれはどっしりする」ということは成り立たない fact11: その肝機能障害時が両断するとするとこの真性は両断する fact12: もしもなんらかの物がぐらつくとすれば曲がる fact13: 「「△ＰＶでないしそれに指示す」ということは間違っている」物はある fact14: もしあのα波がぐらつけばこの真性はどっしりしない fact15: もしこの真性が両断するが取り易いということはないとするとあのα波は名高くない fact16: 仮に「「△ＰＶでなくてかつ指示すらない」ということは成り立たない」ものがあればこの綾織りは曲がるということはない fact17: 仮にこの梲が△ＰＶでなくてその上指示すらないとするとこの資料概念は名高い fact18: とあるものは△ＰＶでないし加えて指示すらない fact19: 仮に「「△ＰＶでなくてぐらつかない」ということは間違っている」物があるとしたらこの梲は両断しない fact20: この梲は指示すらない fact21: その肝機能障害時は両断する fact22: 「「△ＰＶであるけど指示すらない」ということは事実でない」物はある fact23: 「この真性はぐらつくしどっしりする」ということは正しくない fact24: 仮にあのα波がぐらつけばこの真性はぐらつくがそれはどっしりしない
void -> assump1: 以下のように仮定する。この梲は△ＰＶでないしさらに指示すらない; fact17 & assump1 -> int1: この資料概念は名高い; int1 & fact2 -> int2: あのα波はぐらつく; int2 & fact24 -> int3: この真性はぐらつくけれどどっしりしない; fact11 & fact21 -> int4: この真性は両断する; fact9 & int4 -> int5: 「この真性はぐらつくがどっしりしない」ということは嘘である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この梲は△ＰＶでなくて指示すらない」ということは偽である; int7 -> int8: 「「△ＰＶでないしさらに指示すらない」ということは偽な」ものはある; int8 & fact16 -> hypothesis;
この綾織りは曲がる
fact27 -> int9: この綾織りがぐらつくとしたらそれは曲がる;
$facts$ = fact1: 名高いということはない物はぐらつくしら行である fact2: 仮にこの資料概念が名高いならあのα波はぐらつく fact3: 「この梲は△ＰＶでないがしかし指示す」ということは偽である fact4: 仮にこの梲がぐらつくならこの綾織りはぐらつく fact5: もし仮にこの真性が挑み掛かるとしたら両断するし取り易くない fact6: この真性はどっしりしない fact7: この梲が△ＰＶであるということはないけれどそれが指示すならこの資料概念は名高い fact8: もしもとあるものが指示すならこの綾織りは曲がるということはない fact9: もし仮にこの真性は両断するとすれば「それはぐらつくけれどどっしりしない」ということは嘘である fact10: もし仮にこの真性は両断するとすると「それはぐらつくしそれはどっしりする」ということは成り立たない fact11: その肝機能障害時が両断するとするとこの真性は両断する fact12: もしもなんらかの物がぐらつくとすれば曲がる fact13: 「「△ＰＶでないしそれに指示す」ということは間違っている」物はある fact14: もしあのα波がぐらつけばこの真性はどっしりしない fact15: もしこの真性が両断するが取り易いということはないとするとあのα波は名高くない fact16: 仮に「「△ＰＶでなくてかつ指示すらない」ということは成り立たない」ものがあればこの綾織りは曲がるということはない fact17: 仮にこの梲が△ＰＶでなくてその上指示すらないとするとこの資料概念は名高い fact18: とあるものは△ＰＶでないし加えて指示すらない fact19: 仮に「「△ＰＶでなくてぐらつかない」ということは間違っている」物があるとしたらこの梲は両断しない fact20: この梲は指示すらない fact21: その肝機能障害時は両断する fact22: 「「△ＰＶであるけど指示すらない」ということは事実でない」物はある fact23: 「この真性はぐらつくしどっしりする」ということは正しくない fact24: 仮にあのα波がぐらつけばこの真性はぐらつくがそれはどっしりしない ; $hypothesis$ = この綾織りは曲がる ; $proof$ = 
void -> assump1: 以下のように仮定する。この梲は△ＰＶでないしさらに指示すらない; fact17 & assump1 -> int1: この資料概念は名高い; int1 & fact2 -> int2: あのα波はぐらつく; int2 & fact24 -> int3: この真性はぐらつくけれどどっしりしない; fact11 & fact21 -> int4: この真性は両断する; fact9 & int4 -> int5: 「この真性はぐらつくがどっしりしない」ということは嘘である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この梲は△ＰＶでなくて指示すらない」ということは偽である; int7 -> int8: 「「△ＰＶでないしさらに指示すらない」ということは偽な」ものはある; int8 & fact16 -> 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: 「この真性はぐらつくしどっしりする」ということは正しくない
事実24: 仮にあのα波がぐらつけばこの真性はぐらつくがそれはどっしりしない

仮説: この綾織りは曲がる
1. 仮定1: 以下のように仮定する。この梲は△ＰＶでないしさらに指示すらない
2. 事実17と仮定1から、推論1: "この資料概念は名高い"が導かれる
3. 推論1と事実2から、推論2: "あのα波はぐらつく"が導かれる
4. 推論2と事実24から、推論3: "この真性はぐらつくけれどどっしりしない"が導かれる
5. 事実11と事実21から、推論4: "この真性は両断する"が導かれる
6. 事実9と推論4から、推論5: "「この真性はぐらつくがどっしりしない」ということは嘘である"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この梲は△ＰＶでなくて指示すらない」ということは偽である"が導かれる
9. 推論7から、推論8: "「「△ＰＶでないしさらに指示すらない」ということは偽な」ものはある"が導かれる
10. 推論8と事実16から、仮説が否定される

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