この和船は伝わり易くない
fact1: 「「百戦するしかつむくつけし」ということは嘘な」ものはある fact2: 何かは百戦するしそれにむくつけし fact3: このミニクラフトが打ち捨てないとすればあのランダム化比較試験は打ち捨てない fact4: もしも何らかのものが打ち捨てるとすると伝わり易い fact5: もし「「「百戦するしむくつけし」ということは成り立つ」ということは間違っている」ものがあるとしたらこの和船は打ち捨てる fact6: もし仮にあのランダム化比較試験が打ち捨てないならば伝わり易くないかまたは発展し兼ねる fact7: もしもなんらかの物がむくつけしないとしたらこの和船は打ち捨てる
fact1 & fact5 -> int1: この和船は打ち捨てる; fact4 -> int2: もし仮にこの和船は打ち捨てるとすると「それは伝わり易い」ということは真実である; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: {A}{a}; fact4 -> int2: {A}{a} -> {B}{a}; int1 & int2 -> hypothesis;
「この和船は伝わり易くない」ということは嘘でない
$facts$ = fact1: 「「百戦するしかつむくつけし」ということは嘘な」ものはある fact2: 何かは百戦するしそれにむくつけし fact3: このミニクラフトが打ち捨てないとすればあのランダム化比較試験は打ち捨てない fact4: もしも何らかのものが打ち捨てるとすると伝わり易い fact5: もし「「「百戦するしむくつけし」ということは成り立つ」ということは間違っている」ものがあるとしたらこの和船は打ち捨てる fact6: もし仮にあのランダム化比較試験が打ち捨てないならば伝わり易くないかまたは発展し兼ねる fact7: もしもなんらかの物がむくつけしないとしたらこの和船は打ち捨てる ; $hypothesis$ = この和船は伝わり易くない ; $proof$ = 
fact1 & fact5 -> int1: この和船は打ち捨てる; fact4 -> int2: もし仮にこの和船は打ち捨てるとすると「それは伝わり易い」ということは真実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「「百戦するしかつむくつけし」ということは嘘な」ものはある
事実2: 何かは百戦するしそれにむくつけし
事実3: このミニクラフトが打ち捨てないとすればあのランダム化比較試験は打ち捨てない
事実4: もしも何らかのものが打ち捨てるとすると伝わり易い
事実5: もし「「「百戦するしむくつけし」ということは成り立つ」ということは間違っている」ものがあるとしたらこの和船は打ち捨てる
事実6: もし仮にあのランダム化比較試験が打ち捨てないならば伝わり易くないかまたは発展し兼ねる
事実7: もしもなんらかの物がむくつけしないとしたらこの和船は打ち捨てる

仮説: この和船は伝わり易くない
1. 事実1と事実5から、推論1: "この和船は打ち捨てる"が導かれる
2. 事実4から、推論2: "もし仮にこの和船は打ち捨てるとすると「それは伝わり易い」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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