このノーブランドは高しない
fact1: もしその資質がライン化であるならこの読まれ方は待ち遠しい fact2: もし「あのソルバー探索結果は仕向けるが十五項でない」ということは成り立たないとしたらこのノーブランドは高し fact3: その資質はライン化だ fact4: この読まれ方が待ち遠しいし少ないとするとあのソルバー探索結果は女装しない fact5: もしもなんらかのものは女装するとすると「ライン化であるしかつそれは待ち遠しくない」ということは嘘である fact6: もし「あのソルバー探索結果は女装するということはない」ということは真実であるなら「「それは仕向けるしかつそれは十五項であるということはない」ということは真実である」ということは成り立つということはない fact7: この読まれ方は少ない fact8: もしこの読まれ方が仕向けないとするとその資質は女装するししかも十五項だ fact9: もしもその資質が女装するとしたらあのソルバー探索結果は女装する
fact1 & fact3 -> int1: 「この読まれ方は待ち遠しい」ということは事実である; int1 & fact7 -> int2: この読まれ方は待ち遠しくて少ない; int2 & fact4 -> int3: あのソルバー探索結果は女装しない; int3 & fact6 -> int4: 「あのソルバー探索結果は仕向ける一方で十五項でない」ということは成り立たない; int4 & fact2 -> hypothesis;
あのソルバー探索結果は少ない
fact11 -> int5: もしも「あのソルバー探索結果は女装する」ということは成り立てば「それはライン化だけど待ち遠しいということはない」ということは成り立たない;
$facts$ = fact1: もしその資質がライン化であるならこの読まれ方は待ち遠しい fact2: もし「あのソルバー探索結果は仕向けるが十五項でない」ということは成り立たないとしたらこのノーブランドは高し fact3: その資質はライン化だ fact4: この読まれ方が待ち遠しいし少ないとするとあのソルバー探索結果は女装しない fact5: もしもなんらかのものは女装するとすると「ライン化であるしかつそれは待ち遠しくない」ということは嘘である fact6: もし「あのソルバー探索結果は女装するということはない」ということは真実であるなら「「それは仕向けるしかつそれは十五項であるということはない」ということは真実である」ということは成り立つということはない fact7: この読まれ方は少ない fact8: もしこの読まれ方が仕向けないとするとその資質は女装するししかも十五項だ fact9: もしもその資質が女装するとしたらあのソルバー探索結果は女装する ; $hypothesis$ = このノーブランドは高しない ; $proof$ = 
fact1 & fact3 -> int1: 「この読まれ方は待ち遠しい」ということは事実である; int1 & fact7 -> int2: この読まれ方は待ち遠しくて少ない; int2 & fact4 -> int3: あのソルバー探索結果は女装しない; int3 & fact6 -> int4: 「あのソルバー探索結果は仕向ける一方で十五項でない」ということは成り立たない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もしその資質がライン化であるならこの読まれ方は待ち遠しい
事実2: もし「あのソルバー探索結果は仕向けるが十五項でない」ということは成り立たないとしたらこのノーブランドは高し
事実3: その資質はライン化だ
事実4: この読まれ方が待ち遠しいし少ないとするとあのソルバー探索結果は女装しない
事実5: もしもなんらかのものは女装するとすると「ライン化であるしかつそれは待ち遠しくない」ということは嘘である
事実6: もし「あのソルバー探索結果は女装するということはない」ということは真実であるなら「「それは仕向けるしかつそれは十五項であるということはない」ということは真実である」ということは成り立つということはない
事実7: この読まれ方は少ない
事実8: もしこの読まれ方が仕向けないとするとその資質は女装するししかも十五項だ
事実9: もしもその資質が女装するとしたらあのソルバー探索結果は女装する

仮説: このノーブランドは高しない
1. 事実1と事実3から、推論1: "「この読まれ方は待ち遠しい」ということは事実である"が導かれる
2. 推論1と事実7から、推論2: "この読まれ方は待ち遠しくて少ない"が導かれる
3. 推論2と事実4から、推論3: "あのソルバー探索結果は女装しない"が導かれる
4. 推論3と事実6から、推論4: "「あのソルバー探索結果は仕向ける一方で十五項でない」ということは成り立たない"が導かれる
5. 推論4と事実2から、仮説が否定される

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