この科の木は御知らせ致す
fact1: もし仮にあの耳打ちが自問自答するとしたらあの和ちゃんは教育である fact2: この科の木は自問自答する fact3: もし仮にあの耳打ちは育て易いなら「あの和ちゃんは自問自答する」ということは正しい fact4: なんらかの物が推任すれば気忙しい fact5: もしもその鰐皮が迷信であるとするとあの和ちゃんは推任する fact6: あの和ちゃんが気忙しいならあの耳打ちは法的性質である fact7: 「「主宰するし資産売却である」ということは成り立つということはない」物があるとするとその鰐皮は迷信だ fact8: あのＳＭＴＰはセットフォントでないとしたら「この千九百四十八年生まれは主宰するし更にそれは資産売却だ」ということは正しくない fact9: あのＳＭＴＰはセットフォントでない fact10: あの和ちゃんは自問自答するか教育だ fact11: あの耳打ちが御知らせ致すとするとこの科の木は教育だ fact12: あの耳打ちは教育であるかそれは御知らせ致すか両方だ fact13: もし「あの和ちゃんは自問自答する」ということは成り立つとしたらこの科の木は御知らせ致す fact14: あの和ちゃんは教育であるかそれは自問自答する fact15: あの耳打ちが教育ならあの和ちゃんは自問自答する fact16: あの耳打ちは教育であるか育て易い fact17: 「もし何らかの物は自問自答するとしたら「それは教育でないがしかし育て易い」ということは成り立たない」ということは成り立つ fact18: そのモースル閥は育て易い fact19: あの和ちゃんが育て易いとしたらあの耳打ちは自問自答する
fact16 & fact15 & fact3 -> int1: あの和ちゃんは自問自答する; int1 & fact13 -> hypothesis;
この科の木は御知らせ致すということはない
fact25 -> int2: 「この科の木は自問自答する」ということは事実であるとしたら「教育でなくてそれは育て易い」ということは間違いである; fact22 -> int3: 仮にあの和ちゃんは推任するなら「それは気忙しい」ということは事実だ; fact26 & fact21 -> int4: 「この千九百四十八年生まれは主宰するし資産売却だ」ということは間違いだ; int4 -> int5: 「「「主宰するし加えて資産売却である」ということは偽である」物はある」ということは本当である; int5 & fact23 -> int6: その鰐皮は迷信だ; fact20 & int6 -> int7: あの和ちゃんは推任する; int3 & int7 -> int8: あの和ちゃんは気忙しい; fact24 & int8 -> int9: あの耳打ちは法的性質である; int9 -> int10: 「法的性質な」ものはある;
$facts$ = fact1: もし仮にあの耳打ちが自問自答するとしたらあの和ちゃんは教育である fact2: この科の木は自問自答する fact3: もし仮にあの耳打ちは育て易いなら「あの和ちゃんは自問自答する」ということは正しい fact4: なんらかの物が推任すれば気忙しい fact5: もしもその鰐皮が迷信であるとするとあの和ちゃんは推任する fact6: あの和ちゃんが気忙しいならあの耳打ちは法的性質である fact7: 「「主宰するし資産売却である」ということは成り立つということはない」物があるとするとその鰐皮は迷信だ fact8: あのＳＭＴＰはセットフォントでないとしたら「この千九百四十八年生まれは主宰するし更にそれは資産売却だ」ということは正しくない fact9: あのＳＭＴＰはセットフォントでない fact10: あの和ちゃんは自問自答するか教育だ fact11: あの耳打ちが御知らせ致すとするとこの科の木は教育だ fact12: あの耳打ちは教育であるかそれは御知らせ致すか両方だ fact13: もし「あの和ちゃんは自問自答する」ということは成り立つとしたらこの科の木は御知らせ致す fact14: あの和ちゃんは教育であるかそれは自問自答する fact15: あの耳打ちが教育ならあの和ちゃんは自問自答する fact16: あの耳打ちは教育であるか育て易い fact17: 「もし何らかの物は自問自答するとしたら「それは教育でないがしかし育て易い」ということは成り立たない」ということは成り立つ fact18: そのモースル閥は育て易い fact19: あの和ちゃんが育て易いとしたらあの耳打ちは自問自答する ; $hypothesis$ = この科の木は御知らせ致す ; $proof$ = 
fact16 & fact15 & fact3 -> int1: あの和ちゃんは自問自答する; int1 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にあの耳打ちが自問自答するとしたらあの和ちゃんは教育である
事実2: この科の木は自問自答する
事実3: もし仮にあの耳打ちは育て易いなら「あの和ちゃんは自問自答する」ということは正しい
事実4: なんらかの物が推任すれば気忙しい
事実5: もしもその鰐皮が迷信であるとするとあの和ちゃんは推任する
事実6: あの和ちゃんが気忙しいならあの耳打ちは法的性質である
事実7: 「「主宰するし資産売却である」ということは成り立つということはない」物があるとするとその鰐皮は迷信だ
事実8: あのＳＭＴＰはセットフォントでないとしたら「この千九百四十八年生まれは主宰するし更にそれは資産売却だ」ということは正しくない
事実9: あのＳＭＴＰはセットフォントでない
事実10: あの和ちゃんは自問自答するか教育だ
事実11: あの耳打ちが御知らせ致すとするとこの科の木は教育だ
事実12: あの耳打ちは教育であるかそれは御知らせ致すか両方だ
事実13: もし「あの和ちゃんは自問自答する」ということは成り立つとしたらこの科の木は御知らせ致す
事実14: あの和ちゃんは教育であるかそれは自問自答する
事実15: あの耳打ちが教育ならあの和ちゃんは自問自答する
事実16: あの耳打ちは教育であるか育て易い
事実17: 「もし何らかの物は自問自答するとしたら「それは教育でないがしかし育て易い」ということは成り立たない」ということは成り立つ
事実18: そのモースル閥は育て易い
事実19: あの和ちゃんが育て易いとしたらあの耳打ちは自問自答する

仮説: この科の木は御知らせ致す
1. 事実16と事実15と事実3から、推論1: "あの和ちゃんは自問自答する"が導かれる
2. 推論1と事実13から、仮説が導かれる

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