この選手全員は承知するということはない
fact1: この手櫛は供応しない fact2: もしもこの選手全員が後ろめたいとしたら承知する fact3: ある物が連邦通常裁判所でないならそれは後ろめたいしそれに同宿である fact4: もし仮にこの手櫛は供応しないなら「この社員・会社債権者は吹っ飛ばすしさらに覚え難い」ということは成り立つ fact5: あのドイツ皇帝は供応しない fact6: この社員・会社債権者は仕分け例だ fact7: この手櫛は同宿である fact8: 何かは吹っ飛ばす fact9: 「吹っ飛ばすしそれに仕分け例な」物があるとすればこの選手全員は同宿である fact10: もし仮になにかは供応するとしたら承知しない fact11: この社員・会社債権者は覚え難い fact12: もしこの選手全員が同宿だとすればそれは後ろめたい fact13: この手櫛は仕分け例であるしそれに聞き取り易い fact14: もし仮にこの手櫛が供応しないとするとこの社員・会社債権者は覚え難い fact15: この手櫛は後ろめたい fact16: もし「なにがしかのものは供応するということはないしそれに仕分け例でない」ということは嘘であるならそれは承知するということはない
fact4 & fact1 -> int1: この社員・会社債権者は吹っ飛ばすし覚え難い; int1 -> int2: 「この社員・会社債権者は吹っ飛ばす」ということは間違いだということはない; int2 & fact6 -> int3: この社員・会社債権者は吹っ飛ばすしかつ仕分け例だ; int3 -> int4: 「吹っ飛ばすし仕分け例である」ものはある; int4 & fact9 -> int5: この選手全員は同宿だ; int5 & fact12 -> int6: この選手全員は後ろめたい; int6 & fact2 -> hypothesis;
この選手全員は承知するということはない
fact17 -> int7: 仮にこの選手全員が供応すればそれは承知しない;
$facts$ = fact1: この手櫛は供応しない fact2: もしもこの選手全員が後ろめたいとしたら承知する fact3: ある物が連邦通常裁判所でないならそれは後ろめたいしそれに同宿である fact4: もし仮にこの手櫛は供応しないなら「この社員・会社債権者は吹っ飛ばすしさらに覚え難い」ということは成り立つ fact5: あのドイツ皇帝は供応しない fact6: この社員・会社債権者は仕分け例だ fact7: この手櫛は同宿である fact8: 何かは吹っ飛ばす fact9: 「吹っ飛ばすしそれに仕分け例な」物があるとすればこの選手全員は同宿である fact10: もし仮になにかは供応するとしたら承知しない fact11: この社員・会社債権者は覚え難い fact12: もしこの選手全員が同宿だとすればそれは後ろめたい fact13: この手櫛は仕分け例であるしそれに聞き取り易い fact14: もし仮にこの手櫛が供応しないとするとこの社員・会社債権者は覚え難い fact15: この手櫛は後ろめたい fact16: もし「なにがしかのものは供応するということはないしそれに仕分け例でない」ということは嘘であるならそれは承知するということはない ; $hypothesis$ = この選手全員は承知するということはない ; $proof$ = 
fact4 & fact1 -> int1: この社員・会社債権者は吹っ飛ばすし覚え難い; int1 -> int2: 「この社員・会社債権者は吹っ飛ばす」ということは間違いだということはない; int2 & fact6 -> int3: この社員・会社債権者は吹っ飛ばすしかつ仕分け例だ; int3 -> int4: 「吹っ飛ばすし仕分け例である」ものはある; int4 & fact9 -> int5: この選手全員は同宿だ; int5 & fact12 -> int6: この選手全員は後ろめたい; int6 & fact2 -> hypothesis; __DISPROVED__
事実1: この手櫛は供応しない
事実2: もしもこの選手全員が後ろめたいとしたら承知する
事実3: ある物が連邦通常裁判所でないならそれは後ろめたいしそれに同宿である
事実4: もし仮にこの手櫛は供応しないなら「この社員・会社債権者は吹っ飛ばすしさらに覚え難い」ということは成り立つ
事実5: あのドイツ皇帝は供応しない
事実6: この社員・会社債権者は仕分け例だ
事実7: この手櫛は同宿である
事実8: 何かは吹っ飛ばす
事実9: 「吹っ飛ばすしそれに仕分け例な」物があるとすればこの選手全員は同宿である
事実10: もし仮になにかは供応するとしたら承知しない
事実11: この社員・会社債権者は覚え難い
事実12: もしこの選手全員が同宿だとすればそれは後ろめたい
事実13: この手櫛は仕分け例であるしそれに聞き取り易い
事実14: もし仮にこの手櫛が供応しないとするとこの社員・会社債権者は覚え難い
事実15: この手櫛は後ろめたい
事実16: もし「なにがしかのものは供応するということはないしそれに仕分け例でない」ということは嘘であるならそれは承知するということはない

仮説: この選手全員は承知するということはない
1. 事実4と事実1から、推論1: "この社員・会社債権者は吹っ飛ばすし覚え難い"が導かれる
2. 推論1から、推論2: "「この社員・会社債権者は吹っ飛ばす」ということは間違いだということはない"が導かれる
3. 推論2と事実6から、推論3: "この社員・会社債権者は吹っ飛ばすしかつ仕分け例だ"が導かれる
4. 推論3から、推論4: "「吹っ飛ばすし仕分け例である」ものはある"が導かれる
5. 推論4と事実9から、推論5: "この選手全員は同宿だ"が導かれる
6. 推論5と事実12から、推論6: "この選手全員は後ろめたい"が導かれる
7. 推論6と事実2から、仮説が否定される

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