この本児は疑わしくないしおまけに知識人でない
fact1: この子機は攻め取るししかも辛気臭い fact2: 仮にその心理作用が成し難いならこの子機は頼み難い fact3: この子機は正ししおまけに鎮圧する fact4: 何らかのものがトライ出来ないとするとそれは成し難い fact5: もしもこの本児は知識人でないとすると成し難くないしおまけに頼み難くない fact6: 「この本児は疑わしいが知識人でない」ということは誤っている fact7: その心理作用は辛気臭くない fact8: その韓国経済は攻め取る fact9: もしも頼み難いものが横たえるとしたらそれは疑わしくない fact10: もしもこの子機は疑わしくないならば「この本児は疑わしいが知識人でない」ということは確かでない fact11: もし「「この収益価格は横たえる一方で疑わしいということはない」ということは事実である」ということは間違いならば成し難くない fact12: 「仮にこの子機は疑わしくないならば「この本児は疑わしいということはない一方で知識人だ」ということは誤りである」ということは嘘でない fact13: もし仮にその心理作用はソフト・パワーでないとすると見付け難いということはなくてまたトライ出来ない fact14: もしもなにがしかのものは頼み難いということはないなら「ソフト・パワーだししかも知識人だ」ということは偽である fact15: この子機は疑わしくないとすると「この本児は疑わしくないし知識人でない」ということは成り立たない fact16: もし仮になにかは攻め取るとすれば横たえる fact17: その心理作用はソフト・パワーでない fact18: この子機は成し難い
fact13 & fact17 -> int1: その心理作用は見付け難くないしかつトライ出来るということはない; int1 -> int2: その心理作用はトライ出来ない; fact4 -> int3: 仮にその心理作用がトライ出来ないとしたら成し難い; int2 & int3 -> int4: 「その心理作用は成し難い」ということは成り立つ; int4 & fact2 -> int5: この子機は頼み難い; fact16 -> int6: もしもこの子機が攻め取るとしたら横たえる; fact1 -> int7: この子機は攻め取る; int6 & int7 -> int8: この子機は横たえる; int5 & int8 -> int9: この子機は頼み難いし横たえる; fact9 -> int10: もし仮にこの子機が頼み難いしその上横たえるとしたら疑わしくない; int9 & int10 -> int11: この子機は疑わしくない; int11 & fact15 -> hypothesis;
この収益価格は頼み難い
$facts$ = fact1: この子機は攻め取るししかも辛気臭い fact2: 仮にその心理作用が成し難いならこの子機は頼み難い fact3: この子機は正ししおまけに鎮圧する fact4: 何らかのものがトライ出来ないとするとそれは成し難い fact5: もしもこの本児は知識人でないとすると成し難くないしおまけに頼み難くない fact6: 「この本児は疑わしいが知識人でない」ということは誤っている fact7: その心理作用は辛気臭くない fact8: その韓国経済は攻め取る fact9: もしも頼み難いものが横たえるとしたらそれは疑わしくない fact10: もしもこの子機は疑わしくないならば「この本児は疑わしいが知識人でない」ということは確かでない fact11: もし「「この収益価格は横たえる一方で疑わしいということはない」ということは事実である」ということは間違いならば成し難くない fact12: 「仮にこの子機は疑わしくないならば「この本児は疑わしいということはない一方で知識人だ」ということは誤りである」ということは嘘でない fact13: もし仮にその心理作用はソフト・パワーでないとすると見付け難いということはなくてまたトライ出来ない fact14: もしもなにがしかのものは頼み難いということはないなら「ソフト・パワーだししかも知識人だ」ということは偽である fact15: この子機は疑わしくないとすると「この本児は疑わしくないし知識人でない」ということは成り立たない fact16: もし仮になにかは攻め取るとすれば横たえる fact17: その心理作用はソフト・パワーでない fact18: この子機は成し難い ; $hypothesis$ = この本児は疑わしくないしおまけに知識人でない ; $proof$ = 
fact13 & fact17 -> int1: その心理作用は見付け難くないしかつトライ出来るということはない; int1 -> int2: その心理作用はトライ出来ない; fact4 -> int3: 仮にその心理作用がトライ出来ないとしたら成し難い; int2 & int3 -> int4: 「その心理作用は成し難い」ということは成り立つ; int4 & fact2 -> int5: この子機は頼み難い; fact16 -> int6: もしもこの子機が攻め取るとしたら横たえる; fact1 -> int7: この子機は攻め取る; int6 & int7 -> int8: この子機は横たえる; int5 & int8 -> int9: この子機は頼み難いし横たえる; fact9 -> int10: もし仮にこの子機が頼み難いしその上横たえるとしたら疑わしくない; int9 & int10 -> int11: この子機は疑わしくない; int11 & fact15 -> hypothesis; __DISPROVED__
事実1: この子機は攻め取るししかも辛気臭い
事実2: 仮にその心理作用が成し難いならこの子機は頼み難い
事実3: この子機は正ししおまけに鎮圧する
事実4: 何らかのものがトライ出来ないとするとそれは成し難い
事実5: もしもこの本児は知識人でないとすると成し難くないしおまけに頼み難くない
事実6: 「この本児は疑わしいが知識人でない」ということは誤っている
事実7: その心理作用は辛気臭くない
事実8: その韓国経済は攻め取る
事実9: もしも頼み難いものが横たえるとしたらそれは疑わしくない
事実10: もしもこの子機は疑わしくないならば「この本児は疑わしいが知識人でない」ということは確かでない
事実11: もし「「この収益価格は横たえる一方で疑わしいということはない」ということは事実である」ということは間違いならば成し難くない
事実12: 「仮にこの子機は疑わしくないならば「この本児は疑わしいということはない一方で知識人だ」ということは誤りである」ということは嘘でない
事実13: もし仮にその心理作用はソフト・パワーでないとすると見付け難いということはなくてまたトライ出来ない
事実14: もしもなにがしかのものは頼み難いということはないなら「ソフト・パワーだししかも知識人だ」ということは偽である
事実15: この子機は疑わしくないとすると「この本児は疑わしくないし知識人でない」ということは成り立たない
事実16: もし仮になにかは攻め取るとすれば横たえる
事実17: その心理作用はソフト・パワーでない
事実18: この子機は成し難い

仮説: この本児は疑わしくないしおまけに知識人でない
1. 事実13と事実17から、推論1: "その心理作用は見付け難くないしかつトライ出来るということはない"が導かれる
2. 推論1から、推論2: "その心理作用はトライ出来ない"が導かれる
3. 事実4から、推論3: "仮にその心理作用がトライ出来ないとしたら成し難い"が導かれる
4. 推論2と推論3から、推論4: "「その心理作用は成し難い」ということは成り立つ"が導かれる
5. 推論4と事実2から、推論5: "この子機は頼み難い"が導かれる
6. 事実16から、推論6: "もしもこの子機が攻め取るとしたら横たえる"が導かれる
7. 事実1から、推論7: "この子機は攻め取る"が導かれる
8. 推論6と推論7から、推論8: "この子機は横たえる"が導かれる
9. 推論5と推論8から、推論9: "この子機は頼み難いし横たえる"が導かれる
10. 事実9から、推論10: "もし仮にこの子機が頼み難いしその上横たえるとしたら疑わしくない"が導かれる
11. 推論9と推論10から、推論11: "この子機は疑わしくない"が導かれる
12. 推論11と事実15から、仮説が否定される

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