その東京湾アクアラインは杉木立ちでない
fact1: もし「この高百石は開披する」ということは成り立つならその東京湾アクアラインは杉木立ちだ fact2: この高百石は開披するかまたは喋り難い fact3: もしこの高百石が杉木立ちであるとするとその東京湾アクアラインは喋り難い fact4: その東京湾アクアラインは喋り難いか杉木立ちであるかもしくは両方だ fact5: その東京湾アクアラインは杉木立ちであるかもしくはそれは喋り難い fact6: 「あの第三ステップは開披する」ということは成り立つ fact7: 「もし「この高百石は喋り難い」ということは本当であるならばあの東京湾アクアラインは杉木立ちである」ということは成り立つ fact8: もし仮になにかは開披するということはないならばそれは杉木立ちでない fact9: もし仮にとある物が精米するなら開披しないし更に喋り難くない fact10: もしもその東京湾アクアラインが開披すればこの高百石は杉木立ちだ
fact2 & fact1 & fact7 -> hypothesis;
fact2 & fact1 & fact7 -> hypothesis;
その東京湾アクアラインは杉木立ちでない
fact11 -> int1: その東京湾アクアラインが開披するということはないなら杉木立ちであるということはない; fact12 -> int2: もしもその東京湾アクアラインが精米するとすればそれは開披するということはなくて喋り難くない;
$facts$ = fact1: もし「この高百石は開披する」ということは成り立つならその東京湾アクアラインは杉木立ちだ fact2: この高百石は開披するかまたは喋り難い fact3: もしこの高百石が杉木立ちであるとするとその東京湾アクアラインは喋り難い fact4: その東京湾アクアラインは喋り難いか杉木立ちであるかもしくは両方だ fact5: その東京湾アクアラインは杉木立ちであるかもしくはそれは喋り難い fact6: 「あの第三ステップは開披する」ということは成り立つ fact7: 「もし「この高百石は喋り難い」ということは本当であるならばあの東京湾アクアラインは杉木立ちである」ということは成り立つ fact8: もし仮になにかは開披するということはないならばそれは杉木立ちでない fact9: もし仮にとある物が精米するなら開披しないし更に喋り難くない fact10: もしもその東京湾アクアラインが開披すればこの高百石は杉木立ちだ ; $hypothesis$ = その東京湾アクアラインは杉木立ちでない ; $proof$ = 
fact2 & fact1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「この高百石は開披する」ということは成り立つならその東京湾アクアラインは杉木立ちだ
事実2: この高百石は開披するかまたは喋り難い
事実3: もしこの高百石が杉木立ちであるとするとその東京湾アクアラインは喋り難い
事実4: その東京湾アクアラインは喋り難いか杉木立ちであるかもしくは両方だ
事実5: その東京湾アクアラインは杉木立ちであるかもしくはそれは喋り難い
事実6: 「あの第三ステップは開披する」ということは成り立つ
事実7: 「もし「この高百石は喋り難い」ということは本当であるならばあの東京湾アクアラインは杉木立ちである」ということは成り立つ
事実8: もし仮になにかは開披するということはないならばそれは杉木立ちでない
事実9: もし仮にとある物が精米するなら開披しないし更に喋り難くない
事実10: もしもその東京湾アクアラインが開披すればこの高百石は杉木立ちだ

仮説: その東京湾アクアラインは杉木立ちでない
1. 事実2と事実1と事実7から、仮説が否定される

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