あの燐光はおどろおどろしいし動き易い
fact1: あの燐光は弗素化合物である fact2: 何かは弗素化合物であるかあるいはそれがレッスンすれば限り無くない fact3: もしある物は限り無いということはないとすれば「「おどろおどろしくてそれに動き易い」ということは誤っていない」ということは誤りである fact4: 「この鰊蕎麦は鉄屑だし弗素化合物だ」ということは事実でない fact5: もし仮にあの燐光がレッスンするとすると限り無くない fact6: 仮に「ある物はおどろおどろしくないけれどレッスンする」ということは成り立たないならそれはおどろおどろしい fact7: なにかはレッスンするとしたらそれは限り無くない fact8: もし仮にあの大回りは弗素化合物でないかまたは面白くないかあるいは両方であるとしたら弗素化合物でない
fact1 -> int1: あの燐光は弗素化合物であるかあるいはレッスンするか両方だ; fact2 -> int2: もし仮にあの燐光が弗素化合物であるかもしくはレッスンするとしたらそれは限り無くない; int1 & int2 -> int3: あの燐光は限り無くない; fact3 -> int4: もし仮にあの燐光は限り無いということはないとすると「それはおどろおどろしくてそれは動き易い」ということは成り立たない; int3 & int4 -> hypothesis;
あの燐光はおどろおどろしくて動き易い
fact9 -> int5: 仮に「あの燐光はおどろおどろしくない一方でレッスンする」ということは成り立たないならそれはおどろおどろしい;
$facts$ = fact1: あの燐光は弗素化合物である fact2: 何かは弗素化合物であるかあるいはそれがレッスンすれば限り無くない fact3: もしある物は限り無いということはないとすれば「「おどろおどろしくてそれに動き易い」ということは誤っていない」ということは誤りである fact4: 「この鰊蕎麦は鉄屑だし弗素化合物だ」ということは事実でない fact5: もし仮にあの燐光がレッスンするとすると限り無くない fact6: 仮に「ある物はおどろおどろしくないけれどレッスンする」ということは成り立たないならそれはおどろおどろしい fact7: なにかはレッスンするとしたらそれは限り無くない fact8: もし仮にあの大回りは弗素化合物でないかまたは面白くないかあるいは両方であるとしたら弗素化合物でない ; $hypothesis$ = あの燐光はおどろおどろしいし動き易い ; $proof$ = 
fact1 -> int1: あの燐光は弗素化合物であるかあるいはレッスンするか両方だ; fact2 -> int2: もし仮にあの燐光が弗素化合物であるかもしくはレッスンするとしたらそれは限り無くない; int1 & int2 -> int3: あの燐光は限り無くない; fact3 -> int4: もし仮にあの燐光は限り無いということはないとすると「それはおどろおどろしくてそれは動き易い」ということは成り立たない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの燐光は弗素化合物である
事実2: 何かは弗素化合物であるかあるいはそれがレッスンすれば限り無くない
事実3: もしある物は限り無いということはないとすれば「「おどろおどろしくてそれに動き易い」ということは誤っていない」ということは誤りである
事実4: 「この鰊蕎麦は鉄屑だし弗素化合物だ」ということは事実でない
事実5: もし仮にあの燐光がレッスンするとすると限り無くない
事実6: 仮に「ある物はおどろおどろしくないけれどレッスンする」ということは成り立たないならそれはおどろおどろしい
事実7: なにかはレッスンするとしたらそれは限り無くない
事実8: もし仮にあの大回りは弗素化合物でないかまたは面白くないかあるいは両方であるとしたら弗素化合物でない

仮説: あの燐光はおどろおどろしいし動き易い
1. 事実1から、推論1: "あの燐光は弗素化合物であるかあるいはレッスンするか両方だ"が導かれる
2. 事実2から、推論2: "もし仮にあの燐光が弗素化合物であるかもしくはレッスンするとしたらそれは限り無くない"が導かれる
3. 推論1と推論2から、推論3: "あの燐光は限り無くない"が導かれる
4. 事実3から、推論4: "もし仮にあの燐光は限り無いということはないとすると「それはおどろおどろしくてそれは動き易い」ということは成り立たない"が導かれる
5. 推論3と推論4から、仮説が否定される

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