あの売れ行きは折り取るということはない
fact1: なにかは四角くないし分封しないならばそれは折り取る fact2: もしなにがしかのものが配線するならあの売れ行きは四角くないしおまけに分封しない fact3: この律令国家は配線しないなら「あの売れ行きは折り取るがしかしアメリカ中心でない」ということは間違いだ fact4: 「もしも「あの売れ行きは折り取るがしかしアメリカ中心でない」ということは成り立たないとすればあの売れ行きは折り取らない」ということは成り立つ fact5: 「「配線する」ということは事実と異ならない」物はある
fact1 -> int1: あの売れ行きは四角くないし分封しないならば「それは折り取る」ということは成り立つ; fact2 & fact5 -> int2: あの売れ行きは四角くないし分封しない; int1 & int2 -> hypothesis;
あの売れ行きは折り取らない
$facts$ = fact1: なにかは四角くないし分封しないならばそれは折り取る fact2: もしなにがしかのものが配線するならあの売れ行きは四角くないしおまけに分封しない fact3: この律令国家は配線しないなら「あの売れ行きは折り取るがしかしアメリカ中心でない」ということは間違いだ fact4: 「もしも「あの売れ行きは折り取るがしかしアメリカ中心でない」ということは成り立たないとすればあの売れ行きは折り取らない」ということは成り立つ fact5: 「「配線する」ということは事実と異ならない」物はある ; $hypothesis$ = あの売れ行きは折り取るということはない ; $proof$ = 
fact1 -> int1: あの売れ行きは四角くないし分封しないならば「それは折り取る」ということは成り立つ; fact2 & fact5 -> int2: あの売れ行きは四角くないし分封しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: なにかは四角くないし分封しないならばそれは折り取る
事実2: もしなにがしかのものが配線するならあの売れ行きは四角くないしおまけに分封しない
事実3: この律令国家は配線しないなら「あの売れ行きは折り取るがしかしアメリカ中心でない」ということは間違いだ
事実4: 「もしも「あの売れ行きは折り取るがしかしアメリカ中心でない」ということは成り立たないとすればあの売れ行きは折り取らない」ということは成り立つ
事実5: 「「配線する」ということは事実と異ならない」物はある

仮説: あの売れ行きは折り取るということはない
1. 事実1から、推論1: "あの売れ行きは四角くないし分封しないならば「それは折り取る」ということは成り立つ"が導かれる
2. 事実2と事実5から、推論2: "あの売れ行きは四角くないし分封しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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