その歴道事業は討議す
fact1: その歴道事業は討議すしそれはしゅんとする fact2: 「その歴道事業は三週後だ」ということは正しい fact3: 仮になにかは討議すらないとすると随喜するかまたは救世軍である fact4: もし仮に「「喧しくなくてラマである」ということは嘘な」ものがあるとしたらこの裸馬は随喜する fact5: 「この一日付けは優しいがしかしそれは明記しない」ということは偽だ fact6: もしも「なにがしかの物は進め易い」ということは成り立てば「目撃しないがしかし三安打である」ということは事実でない fact7: もしこの裸馬は目撃するなら「しゅんとする」ということは確かである fact8: もしも「この犠牲者は目撃しないけど三安打である」ということは事実と異なるならこの裸馬は喧しい fact9: 仮に「この一日付けは優しい一方で明記しない」ということは間違いならばこの犠牲者は進め易い fact10: 「このサーブはしゅんとする」ということは本当である fact11: 仮にこの裸馬が随喜するししゅんとすればその歴道事業は討議すらない fact12: 喧しくなくてラマだというものはない fact13: 仮に何らかのものが喧しいとしたら討議すらない fact14: その歴道事業はしゅんとする
fact1 -> hypothesis;
fact1 -> hypothesis;
その歴道事業が救世軍だし更にそれはしゅんとする
fact16 -> int1: もしこの裸馬が討議すらないならそれは随喜するかまたは救世軍である; fact17 -> int2: もしこの裸馬が喧しいとすると討議すらない; fact18 -> int3: 仮にこの犠牲者は進め易いならば「それは目撃しないがしかし三安打である」ということは成り立つということはない; fact20 & fact19 -> int4: この犠牲者は進め易い; int3 & int4 -> int5: 「この犠牲者は目撃しない一方で三安打である」ということは成り立つということはない; fact15 & int5 -> int6: この裸馬は喧しい; int2 & int6 -> int7: この裸馬は討議すらない; int1 & int7 -> int8: この裸馬は随喜するかあるいはそれは救世軍だ;
$facts$ = fact1: その歴道事業は討議すしそれはしゅんとする fact2: 「その歴道事業は三週後だ」ということは正しい fact3: 仮になにかは討議すらないとすると随喜するかまたは救世軍である fact4: もし仮に「「喧しくなくてラマである」ということは嘘な」ものがあるとしたらこの裸馬は随喜する fact5: 「この一日付けは優しいがしかしそれは明記しない」ということは偽だ fact6: もしも「なにがしかの物は進め易い」ということは成り立てば「目撃しないがしかし三安打である」ということは事実でない fact7: もしこの裸馬は目撃するなら「しゅんとする」ということは確かである fact8: もしも「この犠牲者は目撃しないけど三安打である」ということは事実と異なるならこの裸馬は喧しい fact9: 仮に「この一日付けは優しい一方で明記しない」ということは間違いならばこの犠牲者は進め易い fact10: 「このサーブはしゅんとする」ということは本当である fact11: 仮にこの裸馬が随喜するししゅんとすればその歴道事業は討議すらない fact12: 喧しくなくてラマだというものはない fact13: 仮に何らかのものが喧しいとしたら討議すらない fact14: その歴道事業はしゅんとする ; $hypothesis$ = その歴道事業は討議す ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その歴道事業は討議すしそれはしゅんとする
事実2: 「その歴道事業は三週後だ」ということは正しい
事実3: 仮になにかは討議すらないとすると随喜するかまたは救世軍である
事実4: もし仮に「「喧しくなくてラマである」ということは嘘な」ものがあるとしたらこの裸馬は随喜する
事実5: 「この一日付けは優しいがしかしそれは明記しない」ということは偽だ
事実6: もしも「なにがしかの物は進め易い」ということは成り立てば「目撃しないがしかし三安打である」ということは事実でない
事実7: もしこの裸馬は目撃するなら「しゅんとする」ということは確かである
事実8: もしも「この犠牲者は目撃しないけど三安打である」ということは事実と異なるならこの裸馬は喧しい
事実9: 仮に「この一日付けは優しい一方で明記しない」ということは間違いならばこの犠牲者は進め易い
事実10: 「このサーブはしゅんとする」ということは本当である
事実11: 仮にこの裸馬が随喜するししゅんとすればその歴道事業は討議すらない
事実12: 喧しくなくてラマだというものはない
事実13: 仮に何らかのものが喧しいとしたら討議すらない
事実14: その歴道事業はしゅんとする

仮説: その歴道事業は討議す
1. 事実1から、仮説が導かれる

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