この試合開始時間は行揃えでない
fact1: 仮になんらかの物は甘噛みする一方で食物連鎖でないならば薬味でない fact2: もし仮にそのバヤが行揃えでないとするとこの試合開始時間は行揃えでそれにそれは捜し回る fact3: もし仮にそのバヤがスチール製でないならこの試合開始時間は捜し回るしそれは御迎えに成る fact4: 全てのものは薬味であるしそれに御迎えに成る fact5: もし仮になんらかの物は御迎えに成るとしたら「それは行揃えだし更に薬味でない」ということは間違っている fact6: もしもなにかは甘噛みしないしそれに食物連鎖でないとするとそれは薬味でない fact7: 「その後場は甘噛みしなくてそれに食物連鎖でない」ということは間違いだとするとそのバヤは行揃えでない fact8: 仮にあるものが甘噛みしない一方で食物連鎖であるとしたら薬味でない
fact6 -> int1: もし仮にその後場は甘噛みしなくてかつ食物連鎖でないならば薬味でない; void -> assump1: 以下のように仮定する。その後場は甘噛みしないし食物連鎖だということはない; int1 & assump1 -> int2: その後場は薬味でない; fact4 -> int3: その後場が薬味だしそれにそれは御迎えに成る; int3 -> int4: その後場は薬味だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その後場は甘噛みしなくてしかも食物連鎖でない」ということは成り立たない; int6 & fact7 -> int7: そのバヤは行揃えでない; int7 & fact2 -> int8: この試合開始時間は行揃えであるしおまけに捜し回る; int8 -> hypothesis;
この試合開始時間は行揃えでない
fact9 -> int9: もしもこの試合開始時間は御迎えに成るとすれば「それは行揃えだししかもそれは薬味でない」ということは事実と異なる;
$facts$ = fact1: 仮になんらかの物は甘噛みする一方で食物連鎖でないならば薬味でない fact2: もし仮にそのバヤが行揃えでないとするとこの試合開始時間は行揃えでそれにそれは捜し回る fact3: もし仮にそのバヤがスチール製でないならこの試合開始時間は捜し回るしそれは御迎えに成る fact4: 全てのものは薬味であるしそれに御迎えに成る fact5: もし仮になんらかの物は御迎えに成るとしたら「それは行揃えだし更に薬味でない」ということは間違っている fact6: もしもなにかは甘噛みしないしそれに食物連鎖でないとするとそれは薬味でない fact7: 「その後場は甘噛みしなくてそれに食物連鎖でない」ということは間違いだとするとそのバヤは行揃えでない fact8: 仮にあるものが甘噛みしない一方で食物連鎖であるとしたら薬味でない ; $hypothesis$ = この試合開始時間は行揃えでない ; $proof$ = 
fact6 -> int1: もし仮にその後場は甘噛みしなくてかつ食物連鎖でないならば薬味でない; void -> assump1: 以下のように仮定する。その後場は甘噛みしないし食物連鎖だということはない; int1 & assump1 -> int2: その後場は薬味でない; fact4 -> int3: その後場が薬味だしそれにそれは御迎えに成る; int3 -> int4: その後場は薬味だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その後場は甘噛みしなくてしかも食物連鎖でない」ということは成り立たない; int6 & fact7 -> int7: そのバヤは行揃えでない; int7 & fact2 -> int8: この試合開始時間は行揃えであるしおまけに捜し回る; int8 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物は甘噛みする一方で食物連鎖でないならば薬味でない
事実2: もし仮にそのバヤが行揃えでないとするとこの試合開始時間は行揃えでそれにそれは捜し回る
事実3: もし仮にそのバヤがスチール製でないならこの試合開始時間は捜し回るしそれは御迎えに成る
事実4: 全てのものは薬味であるしそれに御迎えに成る
事実5: もし仮になんらかの物は御迎えに成るとしたら「それは行揃えだし更に薬味でない」ということは間違っている
事実6: もしもなにかは甘噛みしないしそれに食物連鎖でないとするとそれは薬味でない
事実7: 「その後場は甘噛みしなくてそれに食物連鎖でない」ということは間違いだとするとそのバヤは行揃えでない
事実8: 仮にあるものが甘噛みしない一方で食物連鎖であるとしたら薬味でない

仮説: この試合開始時間は行揃えでない
1. 事実6から、推論1: "もし仮にその後場は甘噛みしなくてかつ食物連鎖でないならば薬味でない"が導かれる
2. 仮定1: 以下のように仮定する。その後場は甘噛みしないし食物連鎖だということはない
3. 推論1と仮定1から、推論2: "その後場は薬味でない"が導かれる
4. 事実4から、推論3: "その後場が薬味だしそれにそれは御迎えに成る"が導かれる
5. 推論3から、推論4: "その後場は薬味だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その後場は甘噛みしなくてしかも食物連鎖でない」ということは成り立たない"が導かれる
8. 推論6と事実7から、推論7: "そのバヤは行揃えでない"が導かれる
9. 推論7と事実2から、推論8: "この試合開始時間は行揃えであるしおまけに捜し回る"が導かれる
10. 推論8から、仮説が否定される

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