このＡＲＦは青林檎でないか予算化しないかもしくはどちらもだ
fact1: 「あの二十二章は面白い」ということは成り立つとすればあのＡＲＦは青林檎であるということはないか予算化するということはないかどちらもだ fact2: あの二十二章は面白いしまためぼしい fact3: もし「あのＭＳＤＮライブラリは配合飼料でないけどそれは予算化する」ということは成り立たないならば配合飼料である fact4: それは配合飼料でなくてかつ予算化するという物はない
fact2 -> int1: あの二十二章は面白い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
あのＭＳＤＮライブラリは配合飼料であるしそれは面白い
fact5 -> int2: 「あのＭＳＤＮライブラリは配合飼料でないがしかし予算化する」ということは誤っている; fact6 & int2 -> int3: あのＭＳＤＮライブラリは配合飼料だ;
$facts$ = fact1: 「あの二十二章は面白い」ということは成り立つとすればあのＡＲＦは青林檎であるということはないか予算化するということはないかどちらもだ fact2: あの二十二章は面白いしまためぼしい fact3: もし「あのＭＳＤＮライブラリは配合飼料でないけどそれは予算化する」ということは成り立たないならば配合飼料である fact4: それは配合飼料でなくてかつ予算化するという物はない ; $hypothesis$ = このＡＲＦは青林檎でないか予算化しないかもしくはどちらもだ ; $proof$ = 
fact2 -> int1: あの二十二章は面白い; int1 & fact1 -> hypothesis; __PROVED__
事実1: 「あの二十二章は面白い」ということは成り立つとすればあのＡＲＦは青林檎であるということはないか予算化するということはないかどちらもだ
事実2: あの二十二章は面白いしまためぼしい
事実3: もし「あのＭＳＤＮライブラリは配合飼料でないけどそれは予算化する」ということは成り立たないならば配合飼料である
事実4: それは配合飼料でなくてかつ予算化するという物はない

仮説: このＡＲＦは青林檎でないか予算化しないかもしくはどちらもだ
1. 事実2から、推論1: "あの二十二章は面白い"が導かれる
2. 推論1と事実1から、仮説が導かれる

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