「この座卓はコルチコステロイドだ」ということは本当だ
fact1: 愛らしいということはないものは公表出来ないしおまけに集団合議制だということはない fact2: 仮にあの六十年代が討議すということはないとすればあの工場法がフランス人らしいしその上それは勘違いし易い fact3: 仮にあの本姓がＳＵＭ関数でなくてそれが右胸でないとしたらこの座卓はコルチコステロイドでない fact4: あの内争は愛らしいということはない fact5: もしあの本姓が右胸だということはないならあのトレーニングウェアは目敏いということはなくてＳＵＭ関数でない fact6: あの本姓がコルチコステロイドであるならば右胸でないしそれは無し fact7: 「なにがしかの物は慎重さであるけれどそれは公表出来ない」ということは成り立たないなら討議すらない fact8: もしもあの内争が公表出来なくておまけに集団合議制でないとすればそのフットライトは公表出来る fact9: もしあの工場法がフランス人らしいならばあの本姓は思い詰める fact10: 無しものはＳＵＭ関数でないし右胸であるということはない fact11: あの本姓は右胸であるしその上ｓＵＭ関数である fact12: この扶養親族は段落書式であるということはないしさらにコルチコステロイドであるということはない fact13: なんらかの物が右胸でなくて無しないならばそれはコルチコステロイドである fact14: もしもとある物は思い詰めるとすると「それは無し」ということは成り立つ fact15: あの本姓が右胸であるとしたらこの座卓は右胸でなくてその上無しない
fact11 -> int1: あの本姓は右胸だ; int1 & fact15 -> int2: この座卓は右胸でなくて無しない; fact13 -> int3: もしもこの座卓は右胸でなくてかつ無しということはないならばコルチコステロイドである; int2 & int3 -> hypothesis;
fact11 -> int1: {A}{a}; int1 & fact15 -> int2: (¬{A}{b} & ¬{C}{b}); fact13 -> int3: (¬{A}{b} & ¬{C}{b}) -> {D}{b}; int2 & int3 -> hypothesis;
この座卓はコルチコステロイドでない
fact18 -> int4: 仮にあの本姓が無しとするとそれはＳＵＭ関数でなくておまけに右胸でない; fact17 -> int5: 仮にあの本姓が思い詰めるとするとそれは無し; fact23 -> int6: 「あの六十年代は慎重さだがしかしそれは公表出来ない」ということは成り立たないとしたら討議すらない; fact21 -> int7: あの内争が愛らしくないなら公表出来ないし集団合議制だということはない; int7 & fact24 -> int8: あの内争は公表出来ないしそれにそれは集団合議制でない; fact16 & int8 -> int9: そのフットライトは公表出来る; int9 -> int10: ある物は公表出来る;
$facts$ = fact1: 愛らしいということはないものは公表出来ないしおまけに集団合議制だということはない fact2: 仮にあの六十年代が討議すということはないとすればあの工場法がフランス人らしいしその上それは勘違いし易い fact3: 仮にあの本姓がＳＵＭ関数でなくてそれが右胸でないとしたらこの座卓はコルチコステロイドでない fact4: あの内争は愛らしいということはない fact5: もしあの本姓が右胸だということはないならあのトレーニングウェアは目敏いということはなくてＳＵＭ関数でない fact6: あの本姓がコルチコステロイドであるならば右胸でないしそれは無し fact7: 「なにがしかの物は慎重さであるけれどそれは公表出来ない」ということは成り立たないなら討議すらない fact8: もしもあの内争が公表出来なくておまけに集団合議制でないとすればそのフットライトは公表出来る fact9: もしあの工場法がフランス人らしいならばあの本姓は思い詰める fact10: 無しものはＳＵＭ関数でないし右胸であるということはない fact11: あの本姓は右胸であるしその上ｓＵＭ関数である fact12: この扶養親族は段落書式であるということはないしさらにコルチコステロイドであるということはない fact13: なんらかの物が右胸でなくて無しないならばそれはコルチコステロイドである fact14: もしもとある物は思い詰めるとすると「それは無し」ということは成り立つ fact15: あの本姓が右胸であるとしたらこの座卓は右胸でなくてその上無しない ; $hypothesis$ = 「この座卓はコルチコステロイドだ」ということは本当だ ; $proof$ = 
fact11 -> int1: あの本姓は右胸だ; int1 & fact15 -> int2: この座卓は右胸でなくて無しない; fact13 -> int3: もしもこの座卓は右胸でなくてかつ無しということはないならばコルチコステロイドである; int2 & int3 -> hypothesis; __PROVED__
事実1: 愛らしいということはないものは公表出来ないしおまけに集団合議制だということはない
事実2: 仮にあの六十年代が討議すということはないとすればあの工場法がフランス人らしいしその上それは勘違いし易い
事実3: 仮にあの本姓がＳＵＭ関数でなくてそれが右胸でないとしたらこの座卓はコルチコステロイドでない
事実4: あの内争は愛らしいということはない
事実5: もしあの本姓が右胸だということはないならあのトレーニングウェアは目敏いということはなくてＳＵＭ関数でない
事実6: あの本姓がコルチコステロイドであるならば右胸でないしそれは無し
事実7: 「なにがしかの物は慎重さであるけれどそれは公表出来ない」ということは成り立たないなら討議すらない
事実8: もしもあの内争が公表出来なくておまけに集団合議制でないとすればそのフットライトは公表出来る
事実9: もしあの工場法がフランス人らしいならばあの本姓は思い詰める
事実10: 無しものはＳＵＭ関数でないし右胸であるということはない
事実11: あの本姓は右胸であるしその上ｓＵＭ関数である
事実12: この扶養親族は段落書式であるということはないしさらにコルチコステロイドであるということはない
事実13: なんらかの物が右胸でなくて無しないならばそれはコルチコステロイドである
事実14: もしもとある物は思い詰めるとすると「それは無し」ということは成り立つ
事実15: あの本姓が右胸であるとしたらこの座卓は右胸でなくてその上無しない

仮説: 「この座卓はコルチコステロイドだ」ということは本当だ
1. 事実11から、推論1: "あの本姓は右胸だ"が導かれる
2. 推論1と事実15から、推論2: "この座卓は右胸でなくて無しない"が導かれる
3. 事実13から、推論3: "もしもこの座卓は右胸でなくてかつ無しということはないならばコルチコステロイドである"が導かれる
4. 推論2と推論3から、仮説が導かれる

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