この鉤針はプログラム化する
fact1: もしとある物は懐妊しないとすれば「それは設置であるしまたそれは書き入れだ」ということは誤っている fact2: もし仮に「「疑い深くないが百円均一だ」ということは偽である」ものがあればこの鉤針はプログラム化する fact3: この鉤針が弾圧するということはないならばこの膝掛けはプログラム化するしその上色好い fact4: その粟粒結核は懐妊しない fact5: その粟粒結核はイオン化するし治療経過だ fact6: 「「疑い深くないが百円均一である」ということは間違っている」ものはある fact7: もしもなんらかの物はイオン化するということはないとしたら「それは弾圧するしそれは色好くない」ということは確かである fact8: もしもあるものは弾圧するがしかし色好いということはないならばプログラム化しない fact9: とあるものはすーごくない一方で規則正しい fact10: 「「疑い深くてまた百円均一だ」ということは成り立つということはない」物はある fact11: もしもとあるものは書き入れでないならばそれは赤玉土だ fact12: もしも「なにかは設置で更に書き入れだ」ということは成り立たないならばそれは書き入れでない fact13: 赤玉土は土下座する fact14: もし仮にその粟粒結核が土下座するしイオン化するならこの鉤針は弾圧しない
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
この膝掛けはプログラム化する
fact22 -> int1: もしその粟粒結核が赤玉土ならそれは土下座する; fact21 -> int2: その粟粒結核は書き入れでないならば赤玉土である; fact18 -> int3: 「その粟粒結核は設置でまた書き入れである」ということは成り立つということはないとしたらそれは書き入れでない; fact19 -> int4: もし仮にその粟粒結核は懐妊しないなら「それは設置だし書き入れである」ということは偽だ; int4 & fact17 -> int5: 「その粟粒結核は設置であるしその上書き入れだ」ということは成り立つということはない; int3 & int5 -> int6: その粟粒結核は書き入れだということはない; int2 & int6 -> int7: その粟粒結核は赤玉土だ; int1 & int7 -> int8: その粟粒結核は土下座する; fact15 -> int9: 「その粟粒結核はイオン化する」ということは本当である; int8 & int9 -> int10: その粟粒結核は土下座するしイオン化する; fact16 & int10 -> int11: この鉤針は弾圧しない; fact20 & int11 -> int12: この膝掛けはプログラム化するしおまけにそれは色好い; int12 -> hypothesis;
$facts$ = fact1: もしとある物は懐妊しないとすれば「それは設置であるしまたそれは書き入れだ」ということは誤っている fact2: もし仮に「「疑い深くないが百円均一だ」ということは偽である」ものがあればこの鉤針はプログラム化する fact3: この鉤針が弾圧するということはないならばこの膝掛けはプログラム化するしその上色好い fact4: その粟粒結核は懐妊しない fact5: その粟粒結核はイオン化するし治療経過だ fact6: 「「疑い深くないが百円均一である」ということは間違っている」ものはある fact7: もしもなんらかの物はイオン化するということはないとしたら「それは弾圧するしそれは色好くない」ということは確かである fact8: もしもあるものは弾圧するがしかし色好いということはないならばプログラム化しない fact9: とあるものはすーごくない一方で規則正しい fact10: 「「疑い深くてまた百円均一だ」ということは成り立つということはない」物はある fact11: もしもとあるものは書き入れでないならばそれは赤玉土だ fact12: もしも「なにかは設置で更に書き入れだ」ということは成り立たないならばそれは書き入れでない fact13: 赤玉土は土下座する fact14: もし仮にその粟粒結核が土下座するしイオン化するならこの鉤針は弾圧しない ; $hypothesis$ = この鉤針はプログラム化する ; $proof$ = 
fact6 & fact2 -> hypothesis; __PROVED__
事実1: もしとある物は懐妊しないとすれば「それは設置であるしまたそれは書き入れだ」ということは誤っている
事実2: もし仮に「「疑い深くないが百円均一だ」ということは偽である」ものがあればこの鉤針はプログラム化する
事実3: この鉤針が弾圧するということはないならばこの膝掛けはプログラム化するしその上色好い
事実4: その粟粒結核は懐妊しない
事実5: その粟粒結核はイオン化するし治療経過だ
事実6: 「「疑い深くないが百円均一である」ということは間違っている」ものはある
事実7: もしもなんらかの物はイオン化するということはないとしたら「それは弾圧するしそれは色好くない」ということは確かである
事実8: もしもあるものは弾圧するがしかし色好いということはないならばプログラム化しない
事実9: とあるものはすーごくない一方で規則正しい
事実10: 「「疑い深くてまた百円均一だ」ということは成り立つということはない」物はある
事実11: もしもとあるものは書き入れでないならばそれは赤玉土だ
事実12: もしも「なにかは設置で更に書き入れだ」ということは成り立たないならばそれは書き入れでない
事実13: 赤玉土は土下座する
事実14: もし仮にその粟粒結核が土下座するしイオン化するならこの鉤針は弾圧しない

仮説: この鉤針はプログラム化する
1. 事実6と事実2から、仮説が導かれる

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