その検査後は運営である
fact1: 未詳は失格しない fact2: その検査後は農業者だ fact3: 「その新古典派は失格するがしかし嫉妬心でない」ということは成り立たない fact4: 仮になにがしかのものが失格しないとすればそれは運営であるし農業者である fact5: 仮にその新古典派が嫉妬心でないならばその検査後は探し易いししかも好まし fact6: もし「あのショコラティエは型抜きしないかあるいは失格するか両方ともだ」ということは偽だとしたらそのいんがまは失格しない fact7: もし仮に「その新古典派は農業者でない」ということは確かだとすればあの検査後は農業者である fact8: あのショコラティエは破勝地蔵であるかあるいは型抜きするかもしくは両方だ fact9: 「もしあのショコラティエは破勝地蔵だとしたら「あのショコラティエは未詳である」ということは真実だ」ということは本当である fact10: そのいんがまは失格しないとしたら「その新古典派は嫉妬心である一方で農業者でない」ということは真実でない fact11: その新古典派は探し易いしまた好まし fact12: もし「その新古典派は失格するけれどそれは嫉妬心だということはない」ということは成り立たないならば嫉妬心である fact13: もし仮にその新古典派が農業者でないならばその検査後は運営でない一方で農業者だ fact14: 仮にその新古典派は探し易いし嫉妬心であるとするとそれは農業者であるということはない fact15: もしもあのショコラティエが型抜きすれば未詳だ fact16: 探し易いものは運営だ fact17: 「その検査後は探し易いけれど農業者だということはない」ということは誤りであるとすれば農業者である fact18: その新古典派は好まし
fact11 -> int1: その新古典派は探し易い; fact3 & fact12 -> int2: その新古典派は嫉妬心だ; int1 & int2 -> int3: その新古典派は探し易いしまた嫉妬心である; int3 & fact14 -> int4: 「その新古典派は農業者でない」ということは確かだ; int4 & fact13 -> int5: その検査後は運営でないがそれは農業者だ; int5 -> hypothesis;
その検査後は好まし
fact21 -> int6: あのショコラティエが失格しないならば運営であるししかも農業者である; fact19 -> int7: もし仮にあのショコラティエは未詳であるならばそれは失格しない; fact23 & fact20 & fact22 -> int8: あのショコラティエは未詳だ; int7 & int8 -> int9: あのショコラティエは失格するということはない; int6 & int9 -> int10: あのショコラティエは運営であるし農業者だ; int10 -> int11: なんらかのものは運営だし更に農業者だ;
$facts$ = fact1: 未詳は失格しない fact2: その検査後は農業者だ fact3: 「その新古典派は失格するがしかし嫉妬心でない」ということは成り立たない fact4: 仮になにがしかのものが失格しないとすればそれは運営であるし農業者である fact5: 仮にその新古典派が嫉妬心でないならばその検査後は探し易いししかも好まし fact6: もし「あのショコラティエは型抜きしないかあるいは失格するか両方ともだ」ということは偽だとしたらそのいんがまは失格しない fact7: もし仮に「その新古典派は農業者でない」ということは確かだとすればあの検査後は農業者である fact8: あのショコラティエは破勝地蔵であるかあるいは型抜きするかもしくは両方だ fact9: 「もしあのショコラティエは破勝地蔵だとしたら「あのショコラティエは未詳である」ということは真実だ」ということは本当である fact10: そのいんがまは失格しないとしたら「その新古典派は嫉妬心である一方で農業者でない」ということは真実でない fact11: その新古典派は探し易いしまた好まし fact12: もし「その新古典派は失格するけれどそれは嫉妬心だということはない」ということは成り立たないならば嫉妬心である fact13: もし仮にその新古典派が農業者でないならばその検査後は運営でない一方で農業者だ fact14: 仮にその新古典派は探し易いし嫉妬心であるとするとそれは農業者であるということはない fact15: もしもあのショコラティエが型抜きすれば未詳だ fact16: 探し易いものは運営だ fact17: 「その検査後は探し易いけれど農業者だということはない」ということは誤りであるとすれば農業者である fact18: その新古典派は好まし ; $hypothesis$ = その検査後は運営である ; $proof$ = 
fact11 -> int1: その新古典派は探し易い; fact3 & fact12 -> int2: その新古典派は嫉妬心だ; int1 & int2 -> int3: その新古典派は探し易いしまた嫉妬心である; int3 & fact14 -> int4: 「その新古典派は農業者でない」ということは確かだ; int4 & fact13 -> int5: その検査後は運営でないがそれは農業者だ; int5 -> hypothesis; __DISPROVED__
事実1: 未詳は失格しない
事実2: その検査後は農業者だ
事実3: 「その新古典派は失格するがしかし嫉妬心でない」ということは成り立たない
事実4: 仮になにがしかのものが失格しないとすればそれは運営であるし農業者である
事実5: 仮にその新古典派が嫉妬心でないならばその検査後は探し易いししかも好まし
事実6: もし「あのショコラティエは型抜きしないかあるいは失格するか両方ともだ」ということは偽だとしたらそのいんがまは失格しない
事実7: もし仮に「その新古典派は農業者でない」ということは確かだとすればあの検査後は農業者である
事実8: あのショコラティエは破勝地蔵であるかあるいは型抜きするかもしくは両方だ
事実9: 「もしあのショコラティエは破勝地蔵だとしたら「あのショコラティエは未詳である」ということは真実だ」ということは本当である
事実10: そのいんがまは失格しないとしたら「その新古典派は嫉妬心である一方で農業者でない」ということは真実でない
事実11: その新古典派は探し易いしまた好まし
事実12: もし「その新古典派は失格するけれどそれは嫉妬心だということはない」ということは成り立たないならば嫉妬心である
事実13: もし仮にその新古典派が農業者でないならばその検査後は運営でない一方で農業者だ
事実14: 仮にその新古典派は探し易いし嫉妬心であるとするとそれは農業者であるということはない
事実15: もしもあのショコラティエが型抜きすれば未詳だ
事実16: 探し易いものは運営だ
事実17: 「その検査後は探し易いけれど農業者だということはない」ということは誤りであるとすれば農業者である
事実18: その新古典派は好まし

仮説: その検査後は運営である
1. 事実11から、推論1: "その新古典派は探し易い"が導かれる
2. 事実3と事実12から、推論2: "その新古典派は嫉妬心だ"が導かれる
3. 推論1と推論2から、推論3: "その新古典派は探し易いしまた嫉妬心である"が導かれる
4. 推論3と事実14から、推論4: "「その新古典派は農業者でない」ということは確かだ"が導かれる
5. 推論4と事実13から、推論5: "その検査後は運営でないがそれは農業者だ"が導かれる
6. 推論5から、仮説が否定される

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