「「「もしも掌だけれど突撃しないとしたら西の内紙でない」物はある」ということは正しい」ということは成り立たない
fact1: もしもこのストロベリー・フィールズ・フォーエバーは掌で突撃するとすると西の内紙でない fact2: もしも掌が突撃しないならそれは西の内紙である fact3: 「もし「掌であるしかつ突撃する」ということは事実であるならば西の内紙でない」ものはある fact4: もしも掌が突撃するとするとそれは西の内紙でない fact5: 掌が突撃しないならば西の内紙でない fact6: 「もしも掌であるが突撃するということはないならば「西の内紙である」ということは真実である」ものはある
fact5 -> int1: 仮にこのストロベリー・フィールズ・フォーエバーは掌であるけど突撃しないとすれば「それは西の内紙でない」ということは事実と異ならない; int1 -> hypothesis;
fact5 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしもこのストロベリー・フィールズ・フォーエバーは掌で突撃するとすると西の内紙でない fact2: もしも掌が突撃しないならそれは西の内紙である fact3: 「もし「掌であるしかつ突撃する」ということは事実であるならば西の内紙でない」ものはある fact4: もしも掌が突撃するとするとそれは西の内紙でない fact5: 掌が突撃しないならば西の内紙でない fact6: 「もしも掌であるが突撃するということはないならば「西の内紙である」ということは真実である」ものはある ; $hypothesis$ = 「「「もしも掌だけれど突撃しないとしたら西の内紙でない」物はある」ということは正しい」ということは成り立たない ; $proof$ = 
fact5 -> int1: 仮にこのストロベリー・フィールズ・フォーエバーは掌であるけど突撃しないとすれば「それは西の内紙でない」ということは事実と異ならない; int1 -> hypothesis; __DISPROVED__
事実1: もしもこのストロベリー・フィールズ・フォーエバーは掌で突撃するとすると西の内紙でない
事実2: もしも掌が突撃しないならそれは西の内紙である
事実3: 「もし「掌であるしかつ突撃する」ということは事実であるならば西の内紙でない」ものはある
事実4: もしも掌が突撃するとするとそれは西の内紙でない
事実5: 掌が突撃しないならば西の内紙でない
事実6: 「もしも掌であるが突撃するということはないならば「西の内紙である」ということは真実である」ものはある

仮説: 「「「もしも掌だけれど突撃しないとしたら西の内紙でない」物はある」ということは正しい」ということは成り立たない
1. 事実5から、推論1: "仮にこのストロベリー・フィールズ・フォーエバーは掌であるけど突撃しないとすれば「それは西の内紙でない」ということは事実と異ならない"が導かれる
2. 推論1から、仮説が否定される

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