その環境悪化は投資簿価だしかつ降り出す
fact1: このルナファザーが投資簿価でないとしたらその環境悪化は投資簿価であるしそれは降り出す fact2: もしこのルナファザーはアメリカ国旗でないならば投資簿価でない fact3: 「そのココログナビは鶏達でない一方でそれは認め難い」ということは成り立たない fact4: 「そのココログナビは鶏達でない一方でそれは認め難い」ということは事実だということはないならこのルナファザーはアメリカ国旗でない
fact4 & fact3 -> int1: このルナファザーはアメリカ国旗でない; int1 & fact2 -> int2: このルナファザーは投資簿価でない; int2 & fact1 -> hypothesis;
$facts$ = fact1: このルナファザーが投資簿価でないとしたらその環境悪化は投資簿価であるしそれは降り出す fact2: もしこのルナファザーはアメリカ国旗でないならば投資簿価でない fact3: 「そのココログナビは鶏達でない一方でそれは認め難い」ということは成り立たない fact4: 「そのココログナビは鶏達でない一方でそれは認め難い」ということは事実だということはないならこのルナファザーはアメリカ国旗でない ; $hypothesis$ = その環境悪化は投資簿価だしかつ降り出す ; $proof$ = 
fact4 & fact3 -> int1: このルナファザーはアメリカ国旗でない; int1 & fact2 -> int2: このルナファザーは投資簿価でない; int2 & fact1 -> hypothesis; __PROVED__
事実1: このルナファザーが投資簿価でないとしたらその環境悪化は投資簿価であるしそれは降り出す
事実2: もしこのルナファザーはアメリカ国旗でないならば投資簿価でない
事実3: 「そのココログナビは鶏達でない一方でそれは認め難い」ということは成り立たない
事実4: 「そのココログナビは鶏達でない一方でそれは認め難い」ということは事実だということはないならこのルナファザーはアメリカ国旗でない

仮説: その環境悪化は投資簿価だしかつ降り出す
1. 事実4と事実3から、推論1: "このルナファザーはアメリカ国旗でない"が導かれる
2. 推論1と事実2から、推論2: "このルナファザーは投資簿価でない"が導かれる
3. 推論2と事実1から、仮説が導かれる

よって、仮説が証明されました。