仮にあのＦＡＲＣは太り難いとすれば「この爺様は菩薩であるけれど肥料産業でない」ということは間違っている
fact1: もしもなにかは利くということはないがしかしそれが息衝くならあのＦＡＲＣは太り難くない fact2: 「利かない」物はある fact3: もしこの御期待が親しくないならばその二期間は利かないけれどそれは息衝く fact4: とあるものは利くしおまけに息衝く fact5: もしもこの御期待が親しくないとするとその二期間は利かない fact6: もしある物が利かないが息衝くならあのＦＡＲＣは太り難い fact7: もしもこのエースは菩薩であるならば「この爺様は菩薩だけど肥料産業でない」ということは成り立つということはない fact8: 仮にこの御期待が親しいとすればこのエースは菩薩だ fact9: その二期間は利かない
void -> assump1: 以下のように仮定する。この御期待は親しいということはない; fact3 & assump1 -> int1: その二期間は利かないが息衝く; int1 -> int2: ある物は利かない一方で息衝く; int2 & fact1 -> int3: あのＦＡＲＣは太り難くない; void -> assump2: 以下のように仮定する。あのＦＡＲＣは太り難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この御期待は親しい; int5 & fact8 -> int6: このエースは菩薩である; int6 & fact7 -> int7: 「この爺様が菩薩だけどそれは肥料産業でない」ということは事実だということはない; [assump2] & int7 -> hypothesis;
$facts$ = fact1: もしもなにかは利くということはないがしかしそれが息衝くならあのＦＡＲＣは太り難くない fact2: 「利かない」物はある fact3: もしこの御期待が親しくないならばその二期間は利かないけれどそれは息衝く fact4: とあるものは利くしおまけに息衝く fact5: もしもこの御期待が親しくないとするとその二期間は利かない fact6: もしある物が利かないが息衝くならあのＦＡＲＣは太り難い fact7: もしもこのエースは菩薩であるならば「この爺様は菩薩だけど肥料産業でない」ということは成り立つということはない fact8: 仮にこの御期待が親しいとすればこのエースは菩薩だ fact9: その二期間は利かない ; $hypothesis$ = 仮にあのＦＡＲＣは太り難いとすれば「この爺様は菩薩であるけれど肥料産業でない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この御期待は親しいということはない; fact3 & assump1 -> int1: その二期間は利かないが息衝く; int1 -> int2: ある物は利かない一方で息衝く; int2 & fact1 -> int3: あのＦＡＲＣは太り難くない; void -> assump2: 以下のように仮定する。あのＦＡＲＣは太り難い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この御期待は親しい; int5 & fact8 -> int6: このエースは菩薩である; int6 & fact7 -> int7: 「この爺様が菩薩だけどそれは肥料産業でない」ということは事実だということはない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もしもなにかは利くということはないがしかしそれが息衝くならあのＦＡＲＣは太り難くない
事実2: 「利かない」物はある
事実3: もしこの御期待が親しくないならばその二期間は利かないけれどそれは息衝く
事実4: とあるものは利くしおまけに息衝く
事実5: もしもこの御期待が親しくないとするとその二期間は利かない
事実6: もしある物が利かないが息衝くならあのＦＡＲＣは太り難い
事実7: もしもこのエースは菩薩であるならば「この爺様は菩薩だけど肥料産業でない」ということは成り立つということはない
事実8: 仮にこの御期待が親しいとすればこのエースは菩薩だ
事実9: その二期間は利かない

仮説: 仮にあのＦＡＲＣは太り難いとすれば「この爺様は菩薩であるけれど肥料産業でない」ということは間違っている
1. 仮定1: 以下のように仮定する。この御期待は親しいということはない
2. 事実3と仮定1から、推論1: "その二期間は利かないが息衝く"が導かれる
3. 推論1から、推論2: "ある物は利かない一方で息衝く"が導かれる
4. 推論2と事実1から、推論3: "あのＦＡＲＣは太り難くない"が導かれる
5. 仮定2: 以下のように仮定する。あのＦＡＲＣは太り難い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "この御期待は親しい"が導かれる
8. 推論5と事実8から、推論6: "このエースは菩薩である"が導かれる
9. 推論6と事実7から、推論7: "「この爺様が菩薩だけどそれは肥料産業でない」ということは事実だということはない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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