この自由意見は捜索すらない
fact1: 仮に「御過ごし下さる」物があるとすればあの速度は仕手でなくて更にそれは形成され易くない fact2: もし仮にこの自由意見が伝世しないがしかしそれが在庫するとしたらそれは承役である fact3: この自由意見は伝世しないしおまけに在庫するということはない fact4: もしもあの速度が仕手でないとするとこの自由意見は避け難いかあるいはワープするか両方だ fact5: もしもなんらかの物は九以下でないとしたら「それは加速しないしおまけに文献記録でない」ということは事実と異なる fact6: もし仮にこの自由意見がワープするとするとこの陰謀はワープする fact7: 仮に「なにがしかのものは承役でない」ということは事実だとするとそれは捜索すらない fact8: もし仮に少なし物は九以下でないなら文献記録である fact9: 仮に「あの金魚はワープしない」ということは確かであるならばあの速度は九以下であるけれど少なしということはない fact10: もし仮に何らかの物が加速しないならば承役であるし捜索す fact11: もし仮に「その谷は形成され易くないししかも御過ごし下さらない」ということは成り立つということはないならば仕手である fact12: 「あの金魚は御過ごし下さる」ということは真実だ fact13: 「その谷は形成され易いということはないしかつ御過ごし下さらない」ということは成り立たない fact14: もし仮にある物が文献記録だとしたら加速しない fact15: もしもこの自由意見が伝世しなくてしかもそれが在庫しないなら承役だ fact16: もしこの自由意見が避け難いならこの陰謀はワープする fact17: あの速度が九以下であるがしかし少なしないとするとこの自由意見は九以下だということはない fact18: もしもなにがしかのものは承役であるなら捜索す fact19: なんらかのものがワープするとすると少なしが九以下でない fact20: 避け難くないものはワープしない
fact15 & fact3 -> int1: 「この自由意見は承役だということはない」ということは成り立たない; fact18 -> int2: この自由意見は承役なら「捜索す」ということは事実である; int1 & int2 -> hypothesis;
fact15 & fact3 -> int1: {B}{a}; fact18 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
この陰謀は承役だ
fact21 -> int3: もしこの陰謀は加速しないなら「それは承役だしかつ捜索す」ということは正しい; fact28 -> int4: 仮にこの陰謀が文献記録だとしたらそれは加速しない; fact23 -> int5: もしこの陰謀が少なしけれどそれが九以下でないとすれば文献記録だ; fact27 -> int6: もしこの陰謀がワープするとすれば少なしがしかし九以下でない; fact29 -> int7: なにかは御過ごし下さる; int7 & fact26 -> int8: あの速度は仕手でないし形成され易くない; int8 -> int9: あの速度は仕手でない; fact22 & int9 -> int10: この自由意見は避け難いかまたはワープする; int10 & fact24 & fact25 -> int11: この陰謀はワープする; int6 & int11 -> int12: この陰謀は少なしがしかし九以下でない; int5 & int12 -> int13: この陰謀は文献記録だ; int4 & int13 -> int14: この陰謀は加速しない; int3 & int14 -> int15: この陰謀は承役で更にそれは捜索す; int15 -> hypothesis;
$facts$ = fact1: 仮に「御過ごし下さる」物があるとすればあの速度は仕手でなくて更にそれは形成され易くない fact2: もし仮にこの自由意見が伝世しないがしかしそれが在庫するとしたらそれは承役である fact3: この自由意見は伝世しないしおまけに在庫するということはない fact4: もしもあの速度が仕手でないとするとこの自由意見は避け難いかあるいはワープするか両方だ fact5: もしもなんらかの物は九以下でないとしたら「それは加速しないしおまけに文献記録でない」ということは事実と異なる fact6: もし仮にこの自由意見がワープするとするとこの陰謀はワープする fact7: 仮に「なにがしかのものは承役でない」ということは事実だとするとそれは捜索すらない fact8: もし仮に少なし物は九以下でないなら文献記録である fact9: 仮に「あの金魚はワープしない」ということは確かであるならばあの速度は九以下であるけれど少なしということはない fact10: もし仮に何らかの物が加速しないならば承役であるし捜索す fact11: もし仮に「その谷は形成され易くないししかも御過ごし下さらない」ということは成り立つということはないならば仕手である fact12: 「あの金魚は御過ごし下さる」ということは真実だ fact13: 「その谷は形成され易いということはないしかつ御過ごし下さらない」ということは成り立たない fact14: もし仮にある物が文献記録だとしたら加速しない fact15: もしもこの自由意見が伝世しなくてしかもそれが在庫しないなら承役だ fact16: もしこの自由意見が避け難いならこの陰謀はワープする fact17: あの速度が九以下であるがしかし少なしないとするとこの自由意見は九以下だということはない fact18: もしもなにがしかのものは承役であるなら捜索す fact19: なんらかのものがワープするとすると少なしが九以下でない fact20: 避け難くないものはワープしない ; $hypothesis$ = この自由意見は捜索すらない ; $proof$ = 
fact15 & fact3 -> int1: 「この自由意見は承役だということはない」ということは成り立たない; fact18 -> int2: この自由意見は承役なら「捜索す」ということは事実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「御過ごし下さる」物があるとすればあの速度は仕手でなくて更にそれは形成され易くない
事実2: もし仮にこの自由意見が伝世しないがしかしそれが在庫するとしたらそれは承役である
事実3: この自由意見は伝世しないしおまけに在庫するということはない
事実4: もしもあの速度が仕手でないとするとこの自由意見は避け難いかあるいはワープするか両方だ
事実5: もしもなんらかの物は九以下でないとしたら「それは加速しないしおまけに文献記録でない」ということは事実と異なる
事実6: もし仮にこの自由意見がワープするとするとこの陰謀はワープする
事実7: 仮に「なにがしかのものは承役でない」ということは事実だとするとそれは捜索すらない
事実8: もし仮に少なし物は九以下でないなら文献記録である
事実9: 仮に「あの金魚はワープしない」ということは確かであるならばあの速度は九以下であるけれど少なしということはない
事実10: もし仮に何らかの物が加速しないならば承役であるし捜索す
事実11: もし仮に「その谷は形成され易くないししかも御過ごし下さらない」ということは成り立つということはないならば仕手である
事実12: 「あの金魚は御過ごし下さる」ということは真実だ
事実13: 「その谷は形成され易いということはないしかつ御過ごし下さらない」ということは成り立たない
事実14: もし仮にある物が文献記録だとしたら加速しない
事実15: もしもこの自由意見が伝世しなくてしかもそれが在庫しないなら承役だ
事実16: もしこの自由意見が避け難いならこの陰謀はワープする
事実17: あの速度が九以下であるがしかし少なしないとするとこの自由意見は九以下だということはない
事実18: もしもなにがしかのものは承役であるなら捜索す
事実19: なんらかのものがワープするとすると少なしが九以下でない
事実20: 避け難くないものはワープしない

仮説: この自由意見は捜索すらない
1. 事実15と事実3から、推論1: "「この自由意見は承役だということはない」ということは成り立たない"が導かれる
2. 事実18から、推論2: "この自由意見は承役なら「捜索す」ということは事実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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