あの販売台数は手櫛だ
fact1: 意地悪くないものは温泉であるし浄瑠璃だ fact2: もしなにかは咲き誇らないならそれは遊泳するが来合わせない fact3: もし仮にとある物が動作する一方でそれが勝ち易いということはないならば手櫛だということはない fact4: もしもなにかはスライディングしないとするとそれは古めかしくない fact5: 「「手櫛であるし温泉である」ということは成り立たない」ものがあるとすればあの恋人達は咲き誇らない fact6: もしもなにがしかの物が動作するし勝ち易いならば手櫛であるということはない fact7: その第二報は手櫛でない fact8: あの四十種類は咲き誇らない fact9: あの販売台数は勝ち易くない fact10: 古めかしくないものは押しだし経巡る fact11: あの販売台数は咲き誇らない fact12: 仮に何かは咲き誇らないとするとそれは動作するし更に勝ち易くない fact13: もしもなんらかのものは押しでないならば「手櫛でそれは温泉である」ということは成り立たない fact14: あの販売台数は十三席だということはない fact15: とあるものが発表致さないなら悄気るけれど艇長でない fact16: もし仮に何らかのものは押しでないかまたは浄瑠璃であるかまたは両方ならそれは押しでない fact17: もし仮にあの販売台数が咲き誇らないならそれは勝ち易くない fact18: 仮になにがしかの物は押しでかつ経巡るならそれは咲き誇らない fact19: もし仮にあの水稲が温泉だが咲き誇らないとするとあの販売台数は手櫛だ fact20: そのノーズアートは咲き誇らない fact21: 仮にその型稽古が温泉であるとしたらあの水稲は温泉だ fact22: 「その型稽古は変化し易い」ということは成り立つ fact23: もしその型稽古が変化し易いなら意地悪くない
fact12 -> int1: 仮にあの販売台数が咲き誇るということはないならばそれは動作するし加えて勝ち易くない; int1 & fact11 -> int2: 「あの販売台数は動作するが勝ち易くない」ということは成り立つ; fact3 -> int3: もしもあの販売台数は動作するがしかし勝ち易くないなら手櫛でない; int2 & int3 -> hypothesis;
あの販売台数は手櫛だ
fact26 -> int4: もしその型稽古が意地悪くないとしたら温泉だしそれに浄瑠璃だ; fact25 & fact30 -> int5: その型稽古は意地悪くない; int4 & int5 -> int6: その型稽古は温泉であるしおまけにそれは浄瑠璃である; int6 -> int7: 「その型稽古は温泉だ」ということは偽でない; fact29 & int7 -> int8: あの水稲は温泉だ; fact24 -> int9: あの水稲が押しだし更に経巡るとすれば咲き誇らない; fact27 -> int10: もしあの水稲が古めかしくないとしたらそれは押しでそれに経巡る; fact31 -> int11: もし「あの水稲はスライディングするということはない」ということは真実であるならば「古めかしくない」ということは成り立つ;
$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$ = 
fact12 -> int1: 仮にあの販売台数が咲き誇るということはないならばそれは動作するし加えて勝ち易くない; int1 & fact11 -> int2: 「あの販売台数は動作するが勝ち易くない」ということは成り立つ; fact3 -> int3: もしもあの販売台数は動作するがしかし勝ち易くないなら手櫛でない; int2 & int3 -> 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. 事実12から、推論1: "仮にあの販売台数が咲き誇るということはないならばそれは動作するし加えて勝ち易くない"が導かれる
2. 推論1と事実11から、推論2: "「あの販売台数は動作するが勝ち易くない」ということは成り立つ"が導かれる
3. 事実3から、推論3: "もしもあの販売台数は動作するがしかし勝ち易くないなら手櫛でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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