その許婚者は積み替えるしそれは迷い易い
fact1: もし仮にその一回転は住宅ブームであるとすると「それは嘆かわしくない」ということは成り立たない fact2: 仮にあの労働衛生が出来難いとするとその許婚者は漕げる fact3: もし仮にあの労働衛生が重巡であるならばあの許婚者は漕げる fact4: 「その許婚者は二Ｂ鉛筆だ」ということは成り立つ fact5: この浮沈は告示するということはない fact6: もしもなにかは告示するか匿名であるかあるいはどちらもだとすればそれは恥ずかしくない fact7: もし仮にあの労働衛生がバランス良いならそれは告示しない fact8: もしも「その許婚者は恥ずかしくない」ということは事実であるとしたら「積み替えるしその上それは迷い易い」ということは嘘である fact9: あの労働衛生は出来難いかまたは重巡であるかまたは両方ともである fact10: 仮にその許婚者が漕げるとしたらそれは告示する
fact9 & fact2 & fact3 -> int1: 「その許婚者は漕げる」ということは真実だ; int1 & fact10 -> int2: その許婚者は告示する; int2 -> int3: その許婚者は告示するかあるいは匿名であるか両方ともだ; fact6 -> int4: もしその許婚者が告示するかそれは匿名であるかあるいはどちらもだとすればそれは恥ずかしくない; int3 & int4 -> int5: その許婚者は恥ずかしくない; int5 & fact8 -> hypothesis;
$facts$ = fact1: もし仮にその一回転は住宅ブームであるとすると「それは嘆かわしくない」ということは成り立たない fact2: 仮にあの労働衛生が出来難いとするとその許婚者は漕げる fact3: もし仮にあの労働衛生が重巡であるならばあの許婚者は漕げる fact4: 「その許婚者は二Ｂ鉛筆だ」ということは成り立つ fact5: この浮沈は告示するということはない fact6: もしもなにかは告示するか匿名であるかあるいはどちらもだとすればそれは恥ずかしくない fact7: もし仮にあの労働衛生がバランス良いならそれは告示しない fact8: もしも「その許婚者は恥ずかしくない」ということは事実であるとしたら「積み替えるしその上それは迷い易い」ということは嘘である fact9: あの労働衛生は出来難いかまたは重巡であるかまたは両方ともである fact10: 仮にその許婚者が漕げるとしたらそれは告示する ; $hypothesis$ = その許婚者は積み替えるしそれは迷い易い ; $proof$ = 
fact9 & fact2 & fact3 -> int1: 「その許婚者は漕げる」ということは真実だ; int1 & fact10 -> int2: その許婚者は告示する; int2 -> int3: その許婚者は告示するかあるいは匿名であるか両方ともだ; fact6 -> int4: もしその許婚者が告示するかそれは匿名であるかあるいはどちらもだとすればそれは恥ずかしくない; int3 & int4 -> int5: その許婚者は恥ずかしくない; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にその一回転は住宅ブームであるとすると「それは嘆かわしくない」ということは成り立たない
事実2: 仮にあの労働衛生が出来難いとするとその許婚者は漕げる
事実3: もし仮にあの労働衛生が重巡であるならばあの許婚者は漕げる
事実4: 「その許婚者は二Ｂ鉛筆だ」ということは成り立つ
事実5: この浮沈は告示するということはない
事実6: もしもなにかは告示するか匿名であるかあるいはどちらもだとすればそれは恥ずかしくない
事実7: もし仮にあの労働衛生がバランス良いならそれは告示しない
事実8: もしも「その許婚者は恥ずかしくない」ということは事実であるとしたら「積み替えるしその上それは迷い易い」ということは嘘である
事実9: あの労働衛生は出来難いかまたは重巡であるかまたは両方ともである
事実10: 仮にその許婚者が漕げるとしたらそれは告示する

仮説: その許婚者は積み替えるしそれは迷い易い
1. 事実9と事実2と事実3から、推論1: "「その許婚者は漕げる」ということは真実だ"が導かれる
2. 推論1と事実10から、推論2: "その許婚者は告示する"が導かれる
3. 推論2から、推論3: "その許婚者は告示するかあるいは匿名であるか両方ともだ"が導かれる
4. 事実6から、推論4: "もしその許婚者が告示するかそれは匿名であるかあるいはどちらもだとすればそれは恥ずかしくない"が導かれる
5. 推論3と推論4から、推論5: "その許婚者は恥ずかしくない"が導かれる
6. 推論5と事実8から、仮説が否定される

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