その各衛星は疲れ難くない
fact1: 「敗戦するということはない一方で震盪する」物はある fact2: とあるものは行い易いなくて重層しない fact3: 「もし仮に行い易くない物が重層しないとすればその各衛星は疲れ難い」ということは事実だ fact4: もし行い易くない物が重層しないとすれば疲れ難いということはない fact5: 「仮にあのＧＩＦが摂取カロリーであるとするとその各衛星は行い易くないしそれに重層しない」ということは確かである fact6: もしこのＳＡＨが古代社会でその上気難しいならこのインフレーションホールは古代社会でない fact7: なにがしかの物はカロリー制限である一方で区別し易いということはない fact8: このクーラー・ケースは疲れ難い
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その各衛星は疲れ難くない
fact11 -> int1: その各衛星が行い易くなくてかつ重層しないとすると「疲れ難いということはない」ということは真実だ;
$facts$ = fact1: 「敗戦するということはない一方で震盪する」物はある fact2: とあるものは行い易いなくて重層しない fact3: 「もし仮に行い易くない物が重層しないとすればその各衛星は疲れ難い」ということは事実だ fact4: もし行い易くない物が重層しないとすれば疲れ難いということはない fact5: 「仮にあのＧＩＦが摂取カロリーであるとするとその各衛星は行い易くないしそれに重層しない」ということは確かである fact6: もしこのＳＡＨが古代社会でその上気難しいならこのインフレーションホールは古代社会でない fact7: なにがしかの物はカロリー制限である一方で区別し易いということはない fact8: このクーラー・ケースは疲れ難い ; $hypothesis$ = その各衛星は疲れ難くない ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: 「敗戦するということはない一方で震盪する」物はある
事実2: とあるものは行い易いなくて重層しない
事実3: 「もし仮に行い易くない物が重層しないとすればその各衛星は疲れ難い」ということは事実だ
事実4: もし行い易くない物が重層しないとすれば疲れ難いということはない
事実5: 「仮にあのＧＩＦが摂取カロリーであるとするとその各衛星は行い易くないしそれに重層しない」ということは確かである
事実6: もしこのＳＡＨが古代社会でその上気難しいならこのインフレーションホールは古代社会でない
事実7: なにがしかの物はカロリー制限である一方で区別し易いということはない
事実8: このクーラー・ケースは疲れ難い

仮説: その各衛星は疲れ難くない
1. 事実2と事実3から、仮説が否定される

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