「この香り成分は猫であるということはないしそれは勇ましくらない」ということは間違いだ
fact1: 「その介護サービス基盤整備は要求す」ということは成り立つ fact2: 「あの禁固以上は要求す」ということは成り立つ fact3: ある物は接近出来るかあるいは熟読すればそれは猫でない fact4: あの禁固以上は懐かし fact5: もしもとある物は四月施行であるなら「勇ましくらないがしかし処理工場だ」ということは偽だ fact6: あの町役人は四月施行でないかまたはそれは歩き難いかまたは両方ともだ fact7: 「懐かしししかも要求す」ものがあるとすればあの助剤は掻き消えない fact8: もしあの町役人が四月施行でないかまたはそれが歩き難いならばあの老年人口比率は四月施行である fact9: もし仮に「「この老年人口比率は勇ましくらないが処理工場である」ということは確かだ」ということは誤りであるならばこの香り成分は勇ましかない fact10: もしもあの町役人は歩き難いなら「それは懐かししおまけに掻き消える」ということは成り立つということはない fact11: もしもこの助剤が掻き消えないならばこの香り成分は接近出来る fact12: もし何かは掻き消えるとすれば「四月施行だしさらに勇ましい」ということは間違いである fact13: 「この香り成分は猫でないけど処理工場である」ということは成り立たない
fact4 & fact2 -> int1: あの禁固以上は懐かしし要求す; int1 -> int2: 「懐かししさらに要求す」物はある; int2 & fact7 -> int3: この助剤は掻き消えない; int3 & fact11 -> int4: この香り成分は接近出来る; int4 -> int5: この香り成分は接近出来るかもしくは熟読する; fact3 -> int6: この香り成分が接近出来るか熟読するなら猫でない; int5 & int6 -> int7: この香り成分は猫でない; fact8 & fact6 -> int8: この老年人口比率は四月施行である; fact5 -> int9: 仮にこの老年人口比率は四月施行であるとすると「勇ましくらなくて加えて処理工場である」ということは事実でない; int8 & int9 -> int10: 「この老年人口比率は勇ましくらないが処理工場だ」ということは真実でない; int10 & fact9 -> int11: この香り成分は勇ましかない; int7 & int11 -> hypothesis;
$facts$ = fact1: 「その介護サービス基盤整備は要求す」ということは成り立つ fact2: 「あの禁固以上は要求す」ということは成り立つ fact3: ある物は接近出来るかあるいは熟読すればそれは猫でない fact4: あの禁固以上は懐かし fact5: もしもとある物は四月施行であるなら「勇ましくらないがしかし処理工場だ」ということは偽だ fact6: あの町役人は四月施行でないかまたはそれは歩き難いかまたは両方ともだ fact7: 「懐かしししかも要求す」ものがあるとすればあの助剤は掻き消えない fact8: もしあの町役人が四月施行でないかまたはそれが歩き難いならばあの老年人口比率は四月施行である fact9: もし仮に「「この老年人口比率は勇ましくらないが処理工場である」ということは確かだ」ということは誤りであるならばこの香り成分は勇ましかない fact10: もしもあの町役人は歩き難いなら「それは懐かししおまけに掻き消える」ということは成り立つということはない fact11: もしもこの助剤が掻き消えないならばこの香り成分は接近出来る fact12: もし何かは掻き消えるとすれば「四月施行だしさらに勇ましい」ということは間違いである fact13: 「この香り成分は猫でないけど処理工場である」ということは成り立たない ; $hypothesis$ = 「この香り成分は猫であるということはないしそれは勇ましくらない」ということは間違いだ ; $proof$ = 
fact4 & fact2 -> int1: あの禁固以上は懐かしし要求す; int1 -> int2: 「懐かししさらに要求す」物はある; int2 & fact7 -> int3: この助剤は掻き消えない; int3 & fact11 -> int4: この香り成分は接近出来る; int4 -> int5: この香り成分は接近出来るかもしくは熟読する; fact3 -> int6: この香り成分が接近出来るか熟読するなら猫でない; int5 & int6 -> int7: この香り成分は猫でない; fact8 & fact6 -> int8: この老年人口比率は四月施行である; fact5 -> int9: 仮にこの老年人口比率は四月施行であるとすると「勇ましくらなくて加えて処理工場である」ということは事実でない; int8 & int9 -> int10: 「この老年人口比率は勇ましくらないが処理工場だ」ということは真実でない; int10 & fact9 -> int11: この香り成分は勇ましかない; int7 & int11 -> hypothesis; __DISPROVED__
事実1: 「その介護サービス基盤整備は要求す」ということは成り立つ
事実2: 「あの禁固以上は要求す」ということは成り立つ
事実3: ある物は接近出来るかあるいは熟読すればそれは猫でない
事実4: あの禁固以上は懐かし
事実5: もしもとある物は四月施行であるなら「勇ましくらないがしかし処理工場だ」ということは偽だ
事実6: あの町役人は四月施行でないかまたはそれは歩き難いかまたは両方ともだ
事実7: 「懐かしししかも要求す」ものがあるとすればあの助剤は掻き消えない
事実8: もしあの町役人が四月施行でないかまたはそれが歩き難いならばあの老年人口比率は四月施行である
事実9: もし仮に「「この老年人口比率は勇ましくらないが処理工場である」ということは確かだ」ということは誤りであるならばこの香り成分は勇ましかない
事実10: もしもあの町役人は歩き難いなら「それは懐かししおまけに掻き消える」ということは成り立つということはない
事実11: もしもこの助剤が掻き消えないならばこの香り成分は接近出来る
事実12: もし何かは掻き消えるとすれば「四月施行だしさらに勇ましい」ということは間違いである
事実13: 「この香り成分は猫でないけど処理工場である」ということは成り立たない

仮説: 「この香り成分は猫であるということはないしそれは勇ましくらない」ということは間違いだ
1. 事実4と事実2から、推論1: "あの禁固以上は懐かしし要求す"が導かれる
2. 推論1から、推論2: "「懐かししさらに要求す」物はある"が導かれる
3. 推論2と事実7から、推論3: "この助剤は掻き消えない"が導かれる
4. 推論3と事実11から、推論4: "この香り成分は接近出来る"が導かれる
5. 推論4から、推論5: "この香り成分は接近出来るかもしくは熟読する"が導かれる
6. 事実3から、推論6: "この香り成分が接近出来るか熟読するなら猫でない"が導かれる
7. 推論5と推論6から、推論7: "この香り成分は猫でない"が導かれる
8. 事実8と事実6から、推論8: "この老年人口比率は四月施行である"が導かれる
9. 事実5から、推論9: "仮にこの老年人口比率は四月施行であるとすると「勇ましくらなくて加えて処理工場である」ということは事実でない"が導かれる
10. 推論8と推論9から、推論10: "「この老年人口比率は勇ましくらないが処理工場だ」ということは真実でない"が導かれる
11. 推論10と事実9から、推論11: "この香り成分は勇ましかない"が導かれる
12. 推論7と推論11から、仮説が否定される

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