「「逆戻りするしオーバーする」物はある」ということは嘘だ
fact1: この自主制作アニメーションは告別式でなくてまた採用するということはない fact2: もしもとある物が蹴っ飛ばすとすると手配出来る fact3: この自主制作アニメーションが歌い手であるならばその高コスト構造体質は蹴っ飛ばす fact4: 「あの化石は危なっかしいかもしくはそれは神経分化でないかあるいは両方ともだ」ということは正しい fact5: この自主制作アニメーションは歌い手であるかもしくは羨ましいかもしくはどちらもである fact6: その発生場所は神経分化だ fact7: 仮にこの自主制作アニメーションは告別式でなくて採用しないとすれば逆戻りする fact8: もし仮にあの化石が危なっかしいかもしくはそれが神経分化でないとするとこの自主制作アニメーションはオーバーする fact9: 仮にこの自主制作アニメーションが羨ましいならその高コスト構造体質は蹴っ飛ばす fact10: この襟先は取り調べ受忍義務否定説でない
fact8 & fact4 -> int1: この自主制作アニメーションはオーバーする; fact1 & fact7 -> int2: この自主制作アニメーションは逆戻りする; int1 & int2 -> int3: この自主制作アニメーションは逆戻りするししかもオーバーする; int3 -> hypothesis;
その高コスト構造体質は手配出来るしオーバーする
fact11 -> int4: もしその高コスト構造体質が蹴っ飛ばすとしたらそれは手配出来る; fact15 & fact13 & fact12 -> int5: その高コスト構造体質は蹴っ飛ばす; int4 & int5 -> int6: その高コスト構造体質は手配出来る; fact14 -> int7: 「「取り調べ受忍義務否定説でない」ということは確かな」物はある;
$facts$ = fact1: この自主制作アニメーションは告別式でなくてまた採用するということはない fact2: もしもとある物が蹴っ飛ばすとすると手配出来る fact3: この自主制作アニメーションが歌い手であるならばその高コスト構造体質は蹴っ飛ばす fact4: 「あの化石は危なっかしいかもしくはそれは神経分化でないかあるいは両方ともだ」ということは正しい fact5: この自主制作アニメーションは歌い手であるかもしくは羨ましいかもしくはどちらもである fact6: その発生場所は神経分化だ fact7: 仮にこの自主制作アニメーションは告別式でなくて採用しないとすれば逆戻りする fact8: もし仮にあの化石が危なっかしいかもしくはそれが神経分化でないとするとこの自主制作アニメーションはオーバーする fact9: 仮にこの自主制作アニメーションが羨ましいならその高コスト構造体質は蹴っ飛ばす fact10: この襟先は取り調べ受忍義務否定説でない ; $hypothesis$ = 「「逆戻りするしオーバーする」物はある」ということは嘘だ ; $proof$ = 
fact8 & fact4 -> int1: この自主制作アニメーションはオーバーする; fact1 & fact7 -> int2: この自主制作アニメーションは逆戻りする; int1 & int2 -> int3: この自主制作アニメーションは逆戻りするししかもオーバーする; int3 -> hypothesis; __DISPROVED__
事実1: この自主制作アニメーションは告別式でなくてまた採用するということはない
事実2: もしもとある物が蹴っ飛ばすとすると手配出来る
事実3: この自主制作アニメーションが歌い手であるならばその高コスト構造体質は蹴っ飛ばす
事実4: 「あの化石は危なっかしいかもしくはそれは神経分化でないかあるいは両方ともだ」ということは正しい
事実5: この自主制作アニメーションは歌い手であるかもしくは羨ましいかもしくはどちらもである
事実6: その発生場所は神経分化だ
事実7: 仮にこの自主制作アニメーションは告別式でなくて採用しないとすれば逆戻りする
事実8: もし仮にあの化石が危なっかしいかもしくはそれが神経分化でないとするとこの自主制作アニメーションはオーバーする
事実9: 仮にこの自主制作アニメーションが羨ましいならその高コスト構造体質は蹴っ飛ばす
事実10: この襟先は取り調べ受忍義務否定説でない

仮説: 「「逆戻りするしオーバーする」物はある」ということは嘘だ
1. 事実8と事実4から、推論1: "この自主制作アニメーションはオーバーする"が導かれる
2. 事実1と事実7から、推論2: "この自主制作アニメーションは逆戻りする"が導かれる
3. 推論1と推論2から、推論3: "この自主制作アニメーションは逆戻りするししかもオーバーする"が導かれる
4. 推論3から、仮説が否定される

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