この一本槍は変わる
fact1: この一本槍は巡航しない fact2: 仮に「この基準振動数は揚羽蝶科でない」ということは確かであるとすると「「その勤労学徒が粘り強いしその上それは巡航する」ということは確かでない」ということは事実だ fact3: その勤労学徒が巡航すればこの一本槍は変わらない fact4: 「その勤労学徒は粘り強いしそれに巡航する」ということは偽である fact5: もしこの基準振動数が揚羽蝶科であるとしたらこの一本槍は変わる fact6: この基準振動数は揚羽蝶科でない fact7: もし仮にこの基準振動数は揚羽蝶科でないとすれば「その勤労学徒は粘り強い一方でそれは巡航するということはない」ということは間違いだ fact8: 「その勤労学徒は粘り強い一方で巡航しない」ということは成り立つということはないとしたら「この一本槍は変わるということはない」ということは偽でない
fact7 & fact6 -> int1: 「その勤労学徒は粘り強いけれど巡航しない」ということは間違っている; int1 & fact8 -> hypothesis;
「この一本槍は変わる」ということは確かである
$facts$ = fact1: この一本槍は巡航しない fact2: 仮に「この基準振動数は揚羽蝶科でない」ということは確かであるとすると「「その勤労学徒が粘り強いしその上それは巡航する」ということは確かでない」ということは事実だ fact3: その勤労学徒が巡航すればこの一本槍は変わらない fact4: 「その勤労学徒は粘り強いしそれに巡航する」ということは偽である fact5: もしこの基準振動数が揚羽蝶科であるとしたらこの一本槍は変わる fact6: この基準振動数は揚羽蝶科でない fact7: もし仮にこの基準振動数は揚羽蝶科でないとすれば「その勤労学徒は粘り強い一方でそれは巡航するということはない」ということは間違いだ fact8: 「その勤労学徒は粘り強い一方で巡航しない」ということは成り立つということはないとしたら「この一本槍は変わるということはない」ということは偽でない ; $hypothesis$ = この一本槍は変わる ; $proof$ = 
fact7 & fact6 -> int1: 「その勤労学徒は粘り強いけれど巡航しない」ということは間違っている; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: この一本槍は巡航しない
事実2: 仮に「この基準振動数は揚羽蝶科でない」ということは確かであるとすると「「その勤労学徒が粘り強いしその上それは巡航する」ということは確かでない」ということは事実だ
事実3: その勤労学徒が巡航すればこの一本槍は変わらない
事実4: 「その勤労学徒は粘り強いしそれに巡航する」ということは偽である
事実5: もしこの基準振動数が揚羽蝶科であるとしたらこの一本槍は変わる
事実6: この基準振動数は揚羽蝶科でない
事実7: もし仮にこの基準振動数は揚羽蝶科でないとすれば「その勤労学徒は粘り強い一方でそれは巡航するということはない」ということは間違いだ
事実8: 「その勤労学徒は粘り強い一方で巡航しない」ということは成り立つということはないとしたら「この一本槍は変わるということはない」ということは偽でない

仮説: この一本槍は変わる
1. 事実7と事実6から、推論1: "「その勤労学徒は粘り強いけれど巡航しない」ということは間違っている"が導かれる
2. 推論1と事実8から、仮説が否定される

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