この野蛮は機能しない
fact1: もしあの本犯が木らしいとしたらそれは悍ましかない fact2: 木らしくない物は案内所だ fact3: あの本犯は鏤める fact4: この野蛮はビレッジでない fact5: もし仮に何らかのものが用心深くないならばそれは確かめ様であるということはないかまたは小休止する fact6: もしあの本犯がビレッジだし鏤めればこの野蛮は小休止しない fact7: もし仮にこの野蛮が鏤めるししかも機能するならあの本犯は小休止しない fact8: あの本犯は合一するしさらに機能する fact9: この野蛮は終わり掛けるし整列する fact10: 仲間らしくないものはケールだしそれに親機である fact11: とあるものは小休止しないとすると「それは機能するということはない」ということは偽である fact12: 仮に「あの本犯は範読しないし更に地方分権推進委員会だということはない」ということは本当だとするとそれは仲間らしくない fact13: もしもなにかは確かめ様でないかまたは小休止するかあるいはどちらもだとすると機能しない fact14: 淀み無くないか用心深くないか両方であるものは用心深くない fact15: 何らかのものが家電産業であるとしたらあの本犯はプラセボ群であるし更に木らしい fact16: 優しない物は元誓願寺前だ fact17: もし仮になにかは悍ましくないとすればそれが範読するということはないしその上地方分権推進委員会でない fact18: 「この野蛮は鏤めるということはない」ということは成り立たない fact19: あの本犯はビレッジであるし更にそれは鏤める fact20: 何らかのものが直るということはないとするとちょん切る fact21: あのリモネンは甲状軟骨で更にそれは言い始める fact22: 「「家電産業だ」ということは本当である」物はある
fact6 & fact19 -> int1: 「この野蛮は小休止しない」ということは成り立つ; fact11 -> int2: もしも「この野蛮は小休止しない」ということは確かだとするとそれは機能する; int1 & int2 -> hypothesis;
「この野蛮は機能しない」ということは真実だ
fact23 -> int3: もしこの野蛮は確かめ様でないかまたは小休止するか両方ともであるとすればそれは機能しない; fact31 -> int4: もしこの野蛮が用心深くないとするとそれは確かめ様でないかもしくは小休止するかあるいは両方だ; fact30 -> int5: もしもこの野蛮が淀み無くないか用心深くないとしたら用心深くない; fact27 -> int6: 仮にあの本犯が仲間らしくないとしたらケールで親機である; fact25 -> int7: もしあの本犯は悍ましかないならばそれは範読しなくて地方分権推進委員会でない; fact28 & fact26 -> int8: あの本犯はプラセボ群であるしおまけにそれは木らしい; int8 -> int9: あの本犯は木らしい; fact29 & int9 -> int10: あの本犯は悍ましいということはない; int7 & int10 -> int11: あの本犯は範読するということはなくて地方分権推進委員会であるということはない; fact24 & int11 -> int12: あの本犯は仲間らしくない; int6 & int12 -> int13: あの本犯がケールだしその上親機だ; int13 -> int14: あの本犯は親機である; int14 -> int15: 親機はある;
$facts$ = fact1: もしあの本犯が木らしいとしたらそれは悍ましかない fact2: 木らしくない物は案内所だ fact3: あの本犯は鏤める fact4: この野蛮はビレッジでない fact5: もし仮に何らかのものが用心深くないならばそれは確かめ様であるということはないかまたは小休止する fact6: もしあの本犯がビレッジだし鏤めればこの野蛮は小休止しない fact7: もし仮にこの野蛮が鏤めるししかも機能するならあの本犯は小休止しない fact8: あの本犯は合一するしさらに機能する fact9: この野蛮は終わり掛けるし整列する fact10: 仲間らしくないものはケールだしそれに親機である fact11: とあるものは小休止しないとすると「それは機能するということはない」ということは偽である fact12: 仮に「あの本犯は範読しないし更に地方分権推進委員会だということはない」ということは本当だとするとそれは仲間らしくない fact13: もしもなにかは確かめ様でないかまたは小休止するかあるいはどちらもだとすると機能しない fact14: 淀み無くないか用心深くないか両方であるものは用心深くない fact15: 何らかのものが家電産業であるとしたらあの本犯はプラセボ群であるし更に木らしい fact16: 優しない物は元誓願寺前だ fact17: もし仮になにかは悍ましくないとすればそれが範読するということはないしその上地方分権推進委員会でない fact18: 「この野蛮は鏤めるということはない」ということは成り立たない fact19: あの本犯はビレッジであるし更にそれは鏤める fact20: 何らかのものが直るということはないとするとちょん切る fact21: あのリモネンは甲状軟骨で更にそれは言い始める fact22: 「「家電産業だ」ということは本当である」物はある ; $hypothesis$ = この野蛮は機能しない ; $proof$ = 
fact6 & fact19 -> int1: 「この野蛮は小休止しない」ということは成り立つ; fact11 -> int2: もしも「この野蛮は小休止しない」ということは確かだとするとそれは機能する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしあの本犯が木らしいとしたらそれは悍ましかない
事実2: 木らしくない物は案内所だ
事実3: あの本犯は鏤める
事実4: この野蛮はビレッジでない
事実5: もし仮に何らかのものが用心深くないならばそれは確かめ様であるということはないかまたは小休止する
事実6: もしあの本犯がビレッジだし鏤めればこの野蛮は小休止しない
事実7: もし仮にこの野蛮が鏤めるししかも機能するならあの本犯は小休止しない
事実8: あの本犯は合一するしさらに機能する
事実9: この野蛮は終わり掛けるし整列する
事実10: 仲間らしくないものはケールだしそれに親機である
事実11: とあるものは小休止しないとすると「それは機能するということはない」ということは偽である
事実12: 仮に「あの本犯は範読しないし更に地方分権推進委員会だということはない」ということは本当だとするとそれは仲間らしくない
事実13: もしもなにかは確かめ様でないかまたは小休止するかあるいはどちらもだとすると機能しない
事実14: 淀み無くないか用心深くないか両方であるものは用心深くない
事実15: 何らかのものが家電産業であるとしたらあの本犯はプラセボ群であるし更に木らしい
事実16: 優しない物は元誓願寺前だ
事実17: もし仮になにかは悍ましくないとすればそれが範読するということはないしその上地方分権推進委員会でない
事実18: 「この野蛮は鏤めるということはない」ということは成り立たない
事実19: あの本犯はビレッジであるし更にそれは鏤める
事実20: 何らかのものが直るということはないとするとちょん切る
事実21: あのリモネンは甲状軟骨で更にそれは言い始める
事実22: 「「家電産業だ」ということは本当である」物はある

仮説: この野蛮は機能しない
1. 事実6と事実19から、推論1: "「この野蛮は小休止しない」ということは成り立つ"が導かれる
2. 事実11から、推論2: "もしも「この野蛮は小休止しない」ということは確かだとするとそれは機能する"が導かれる
3. 推論1と推論2から、仮説が否定される

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