その実践的課題は気安い
fact1: 仮にとある物がファルシだとしたら気安い fact2: もしも「「何らかのものは収集目的だけど焼けるということはない」ということは成り立つ」ということは誤っているとすると収集目的でない fact3: もし仮になんらかの物が御強請りしないとすると焼けない fact4: もしなにがしかのものが収集目的でなくてしかも焼けないならばその実践的課題は気安いということはない fact5: もしもこのカーテンがファルシだとするとそれは黄色くてまたそれは収集目的でない fact6: このカーテンはファルシだ fact7: このカーテンは飛び退かないか御強請りしないかまたは両方だ fact8: なにかは飛び退かないならばそれは焼けない
fact5 & fact6 -> int1: このカーテンは黄色いけど収集目的でない; int1 -> int2: このカーテンは収集目的でない; fact8 -> int3: もしもこのカーテンが飛び退かないとすると焼けない; fact3 -> int4: もし仮にこのカーテンが御強請りするということはないとしたらそれは焼けない; fact7 & int3 & int4 -> int5: このカーテンは焼けない; int2 & int5 -> int6: このカーテンが収集目的だということはないしさらにそれは焼けない; int6 -> int7: 「収集目的でないしおまけに焼けない」物はある; int7 & fact4 -> hypothesis;
その実践的課題は気安い
fact9 -> int8: もし仮にその実践的課題がファルシだとしたら気安い;
$facts$ = fact1: 仮にとある物がファルシだとしたら気安い fact2: もしも「「何らかのものは収集目的だけど焼けるということはない」ということは成り立つ」ということは誤っているとすると収集目的でない fact3: もし仮になんらかの物が御強請りしないとすると焼けない fact4: もしなにがしかのものが収集目的でなくてしかも焼けないならばその実践的課題は気安いということはない fact5: もしもこのカーテンがファルシだとするとそれは黄色くてまたそれは収集目的でない fact6: このカーテンはファルシだ fact7: このカーテンは飛び退かないか御強請りしないかまたは両方だ fact8: なにかは飛び退かないならばそれは焼けない ; $hypothesis$ = その実践的課題は気安い ; $proof$ = 
fact5 & fact6 -> int1: このカーテンは黄色いけど収集目的でない; int1 -> int2: このカーテンは収集目的でない; fact8 -> int3: もしもこのカーテンが飛び退かないとすると焼けない; fact3 -> int4: もし仮にこのカーテンが御強請りするということはないとしたらそれは焼けない; fact7 & int3 & int4 -> int5: このカーテンは焼けない; int2 & int5 -> int6: このカーテンが収集目的だということはないしさらにそれは焼けない; int6 -> int7: 「収集目的でないしおまけに焼けない」物はある; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にとある物がファルシだとしたら気安い
事実2: もしも「「何らかのものは収集目的だけど焼けるということはない」ということは成り立つ」ということは誤っているとすると収集目的でない
事実3: もし仮になんらかの物が御強請りしないとすると焼けない
事実4: もしなにがしかのものが収集目的でなくてしかも焼けないならばその実践的課題は気安いということはない
事実5: もしもこのカーテンがファルシだとするとそれは黄色くてまたそれは収集目的でない
事実6: このカーテンはファルシだ
事実7: このカーテンは飛び退かないか御強請りしないかまたは両方だ
事実8: なにかは飛び退かないならばそれは焼けない

仮説: その実践的課題は気安い
1. 事実5と事実6から、推論1: "このカーテンは黄色いけど収集目的でない"が導かれる
2. 推論1から、推論2: "このカーテンは収集目的でない"が導かれる
3. 事実8から、推論3: "もしもこのカーテンが飛び退かないとすると焼けない"が導かれる
4. 事実3から、推論4: "もし仮にこのカーテンが御強請りするということはないとしたらそれは焼けない"が導かれる
5. 事実7と推論3と推論4から、推論5: "このカーテンは焼けない"が導かれる
6. 推論2と推論5から、推論6: "このカーテンが収集目的だということはないしさらにそれは焼けない"が導かれる
7. 推論6から、推論7: "「収集目的でないしおまけに焼けない」物はある"が導かれる
8. 推論7と事実4から、仮説が否定される

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