この繰り返し単位は忘れ難くない
fact1: もしなにかは飛行機らしいということはないとすれば「それはＰＲＡでない一方で吹き過ぎる」ということは偽だ fact2: もし仮にこの人間的価値は中国国内であるならば「それは飛行機らしくないかまたは生まれ難いかあるいは両方ともだ」ということは誤りである fact3: この人間的価値は底流だ fact4: もしもなにかは吹き過ぎないとしたらそれはＰＲＡであるし加えて忘れ難い fact5: もしもこの人間的価値がＰＲＡならばこの繰り返し単位は忘れ難い fact6: あの地元作家はＰＲＡだ fact7: もしもなんらかのものがＰＲＡならばそれは忘れ難くない fact8: もしその世界労連が中国国内ならばこの人間的価値は飛行機らしくないけれどそれは生まれ難い fact9: この人間的価値はＰＲＡである fact10: もしこの人間的価値が忘れ難いならこの繰り返し単位はＰＲＡである fact11: もしこの繰り返し単位がＰＲＡならこの人間的価値は忘れ難い fact12: あの二ＰＺ軌道はＰＲＡである
fact5 & fact9 -> hypothesis;
fact5 & fact9 -> hypothesis;
「この繰り返し単位は忘れ難くない」ということは真実だ
fact14 -> int1: もし仮にこの繰り返し単位がＰＲＡだとしたらそれは忘れ難くない; fact15 -> int2: 仮にこの人間的価値は飛行機らしくないなら「ＰＲＡでないしその上吹き過ぎる」ということは成り立たない;
$facts$ = fact1: もしなにかは飛行機らしいということはないとすれば「それはＰＲＡでない一方で吹き過ぎる」ということは偽だ fact2: もし仮にこの人間的価値は中国国内であるならば「それは飛行機らしくないかまたは生まれ難いかあるいは両方ともだ」ということは誤りである fact3: この人間的価値は底流だ fact4: もしもなにかは吹き過ぎないとしたらそれはＰＲＡであるし加えて忘れ難い fact5: もしもこの人間的価値がＰＲＡならばこの繰り返し単位は忘れ難い fact6: あの地元作家はＰＲＡだ fact7: もしもなんらかのものがＰＲＡならばそれは忘れ難くない fact8: もしその世界労連が中国国内ならばこの人間的価値は飛行機らしくないけれどそれは生まれ難い fact9: この人間的価値はＰＲＡである fact10: もしこの人間的価値が忘れ難いならこの繰り返し単位はＰＲＡである fact11: もしこの繰り返し単位がＰＲＡならこの人間的価値は忘れ難い fact12: あの二ＰＺ軌道はＰＲＡである ; $hypothesis$ = この繰り返し単位は忘れ難くない ; $proof$ = 
fact5 & fact9 -> hypothesis; __DISPROVED__
事実1: もしなにかは飛行機らしいということはないとすれば「それはＰＲＡでない一方で吹き過ぎる」ということは偽だ
事実2: もし仮にこの人間的価値は中国国内であるならば「それは飛行機らしくないかまたは生まれ難いかあるいは両方ともだ」ということは誤りである
事実3: この人間的価値は底流だ
事実4: もしもなにかは吹き過ぎないとしたらそれはＰＲＡであるし加えて忘れ難い
事実5: もしもこの人間的価値がＰＲＡならばこの繰り返し単位は忘れ難い
事実6: あの地元作家はＰＲＡだ
事実7: もしもなんらかのものがＰＲＡならばそれは忘れ難くない
事実8: もしその世界労連が中国国内ならばこの人間的価値は飛行機らしくないけれどそれは生まれ難い
事実9: この人間的価値はＰＲＡである
事実10: もしこの人間的価値が忘れ難いならこの繰り返し単位はＰＲＡである
事実11: もしこの繰り返し単位がＰＲＡならこの人間的価値は忘れ難い
事実12: あの二ＰＺ軌道はＰＲＡである

仮説: この繰り返し単位は忘れ難くない
1. 事実5と事実9から、仮説が否定される

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