この検索ページは信義則違反でない
fact1: もし仮に「「木捻子でなくてからする」ということは事実と異なる」ものがあるとするとその御高齢は運動障害である fact2: もし仮に何らかの物は運動障害であるかもしくは生活技術でないかあるいはどちらもであるならば信義則違反でない fact3: 「もしも「木捻子な」ものがあればその御高齢は運動障害である」ということは成り立つ fact4: 「「木捻子であるしからする」ということは間違っている」物はある fact5: 「その御高齢が運動障害だしまた信義則違反である」ということは成り立たない fact6: 「そのブローホールは木捻子であるし更にからする」ということは誤っている fact7: 「「運動障害でなくてそれにからする」ということは事実でない」ものはある fact8: 「木捻子でない一方でからする」物はある fact9: この検索ページはからする fact10: 仮にその御高齢が運動障害だとすればあの検索ページは信義則違反だ fact11: 「そのブローホールは木捻子でないがからする」ということは成り立つということはない
fact11 -> int1: 「「木捻子でないしそれにからする」ということは間違っている」ものはある; int1 & fact1 -> int2: その御高齢は運動障害である; int2 & fact10 -> hypothesis;
fact11 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> int2: {A}{a}; int2 & fact10 -> hypothesis;
この検索ページは信義則違反でない
fact12 -> int3: この検索ページが運動障害であるかあるいは生活技術でないかもしくは両方ともであるなら「それは信義則違反でない」ということは真実である;
$facts$ = fact1: もし仮に「「木捻子でなくてからする」ということは事実と異なる」ものがあるとするとその御高齢は運動障害である fact2: もし仮に何らかの物は運動障害であるかもしくは生活技術でないかあるいはどちらもであるならば信義則違反でない fact3: 「もしも「木捻子な」ものがあればその御高齢は運動障害である」ということは成り立つ fact4: 「「木捻子であるしからする」ということは間違っている」物はある fact5: 「その御高齢が運動障害だしまた信義則違反である」ということは成り立たない fact6: 「そのブローホールは木捻子であるし更にからする」ということは誤っている fact7: 「「運動障害でなくてそれにからする」ということは事実でない」ものはある fact8: 「木捻子でない一方でからする」物はある fact9: この検索ページはからする fact10: 仮にその御高齢が運動障害だとすればあの検索ページは信義則違反だ fact11: 「そのブローホールは木捻子でないがからする」ということは成り立つということはない ; $hypothesis$ = この検索ページは信義則違反でない ; $proof$ = 
fact11 -> int1: 「「木捻子でないしそれにからする」ということは間違っている」ものはある; int1 & fact1 -> int2: その御高齢は運動障害である; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮に「「木捻子でなくてからする」ということは事実と異なる」ものがあるとするとその御高齢は運動障害である
事実2: もし仮に何らかの物は運動障害であるかもしくは生活技術でないかあるいはどちらもであるならば信義則違反でない
事実3: 「もしも「木捻子な」ものがあればその御高齢は運動障害である」ということは成り立つ
事実4: 「「木捻子であるしからする」ということは間違っている」物はある
事実5: 「その御高齢が運動障害だしまた信義則違反である」ということは成り立たない
事実6: 「そのブローホールは木捻子であるし更にからする」ということは誤っている
事実7: 「「運動障害でなくてそれにからする」ということは事実でない」ものはある
事実8: 「木捻子でない一方でからする」物はある
事実9: この検索ページはからする
事実10: 仮にその御高齢が運動障害だとすればあの検索ページは信義則違反だ
事実11: 「そのブローホールは木捻子でないがからする」ということは成り立つということはない

仮説: この検索ページは信義則違反でない
1. 事実11から、推論1: "「「木捻子でないしそれにからする」ということは間違っている」ものはある"が導かれる
2. 推論1と事実1から、推論2: "その御高齢は運動障害である"が導かれる
3. 推論2と事実10から、仮説が否定される

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