「なんらかの物は懐っこいし加えて倣う」ということは成り立たない
fact1: このクッションは打ち解けるし更にそれは時効中断である fact2: 何かは懐っこいしその上それは溝状だ fact3: 「このクッションはアメリカ同時多発テロ事件でないし時効中断であるということはない」ということは偽である fact4: なんらかの物が倣わないならば六箇月毎であるがしかし立ち上がれない fact5: もしも「このクッションは六箇月毎でなくてかつ溝状であるということはない」ということは成り立つということはないとするとあの写真全体は懐っこい fact6: この単独使用は溝状でおまけにそれは打ち解ける fact7: あの写真全体は倣うけどそれは時効中断でない fact8: 何らかのものは倣う fact9: このクッションは中央広場である fact10: 「このクッションが六箇月毎であるとしたらあの写真全体は懐っこい」ということは間違っていない fact11: 「このクッションは六箇月毎であるがしかし溝状でない」ということは間違っている fact12: このクッションは時効中断である fact13: 「このクッションは六箇月毎でないしさらにそれは溝状でない」ということは誤りである fact14: あの写真全体は時効中断であるということはない fact15: 「懐っこい」物はある fact16: あの写真全体は六箇月毎である fact17: 「この篠は絞り上げないし加えて倣わない」ということは成り立たない fact18: そのホームベースは六箇月毎だ fact19: もし「このクッションが懐っこくないしさらに倣わない」ということは成り立つということはないとするとあの写真全体は溝状だ fact20: あの写真全体は六箇月毎であるけれどそれは時効中断でない fact21: 先天性は時効中断でないか懐っこくないかもしくは両方だ fact22: その左右は六箇月毎だ fact23: 何かは溝状であるしそれに倣う
fact5 & fact13 -> int1: あの写真全体は懐っこい; fact7 -> int2: あの写真全体は倣う; int1 & int2 -> int3: あの写真全体は懐っこいし倣う; int3 -> hypothesis;
fact5 & fact13 -> int1: {B}{b}; fact7 -> int2: {A}{b}; int1 & int2 -> int3: ({B}{b} & {A}{b}); int3 -> hypothesis;
あの写真全体は六箇月毎であるがしかしそれは立ち上がれるということはない
fact25 -> int4: もし仮にあの写真全体が倣わないならばそれは六箇月毎だけど立ち上がれない; fact24 -> int5: もしもあの写真全体が先天性ならば時効中断でないかまたは懐っこくないかもしくはどちらもだ;
$facts$ = fact1: このクッションは打ち解けるし更にそれは時効中断である fact2: 何かは懐っこいしその上それは溝状だ fact3: 「このクッションはアメリカ同時多発テロ事件でないし時効中断であるということはない」ということは偽である fact4: なんらかの物が倣わないならば六箇月毎であるがしかし立ち上がれない fact5: もしも「このクッションは六箇月毎でなくてかつ溝状であるということはない」ということは成り立つということはないとするとあの写真全体は懐っこい fact6: この単独使用は溝状でおまけにそれは打ち解ける fact7: あの写真全体は倣うけどそれは時効中断でない fact8: 何らかのものは倣う fact9: このクッションは中央広場である fact10: 「このクッションが六箇月毎であるとしたらあの写真全体は懐っこい」ということは間違っていない fact11: 「このクッションは六箇月毎であるがしかし溝状でない」ということは間違っている fact12: このクッションは時効中断である fact13: 「このクッションは六箇月毎でないしさらにそれは溝状でない」ということは誤りである fact14: あの写真全体は時効中断であるということはない fact15: 「懐っこい」物はある fact16: あの写真全体は六箇月毎である fact17: 「この篠は絞り上げないし加えて倣わない」ということは成り立たない fact18: そのホームベースは六箇月毎だ fact19: もし「このクッションが懐っこくないしさらに倣わない」ということは成り立つということはないとするとあの写真全体は溝状だ fact20: あの写真全体は六箇月毎であるけれどそれは時効中断でない fact21: 先天性は時効中断でないか懐っこくないかもしくは両方だ fact22: その左右は六箇月毎だ fact23: 何かは溝状であるしそれに倣う ; $hypothesis$ = 「なんらかの物は懐っこいし加えて倣う」ということは成り立たない ; $proof$ = 
fact5 & fact13 -> int1: あの写真全体は懐っこい; fact7 -> int2: あの写真全体は倣う; int1 & int2 -> int3: あの写真全体は懐っこいし倣う; int3 -> hypothesis; __DISPROVED__
事実1: このクッションは打ち解けるし更にそれは時効中断である
事実2: 何かは懐っこいしその上それは溝状だ
事実3: 「このクッションはアメリカ同時多発テロ事件でないし時効中断であるということはない」ということは偽である
事実4: なんらかの物が倣わないならば六箇月毎であるがしかし立ち上がれない
事実5: もしも「このクッションは六箇月毎でなくてかつ溝状であるということはない」ということは成り立つということはないとするとあの写真全体は懐っこい
事実6: この単独使用は溝状でおまけにそれは打ち解ける
事実7: あの写真全体は倣うけどそれは時効中断でない
事実8: 何らかのものは倣う
事実9: このクッションは中央広場である
事実10: 「このクッションが六箇月毎であるとしたらあの写真全体は懐っこい」ということは間違っていない
事実11: 「このクッションは六箇月毎であるがしかし溝状でない」ということは間違っている
事実12: このクッションは時効中断である
事実13: 「このクッションは六箇月毎でないしさらにそれは溝状でない」ということは誤りである
事実14: あの写真全体は時効中断であるということはない
事実15: 「懐っこい」物はある
事実16: あの写真全体は六箇月毎である
事実17: 「この篠は絞り上げないし加えて倣わない」ということは成り立たない
事実18: そのホームベースは六箇月毎だ
事実19: もし「このクッションが懐っこくないしさらに倣わない」ということは成り立つということはないとするとあの写真全体は溝状だ
事実20: あの写真全体は六箇月毎であるけれどそれは時効中断でない
事実21: 先天性は時効中断でないか懐っこくないかもしくは両方だ
事実22: その左右は六箇月毎だ
事実23: 何かは溝状であるしそれに倣う

仮説: 「なんらかの物は懐っこいし加えて倣う」ということは成り立たない
1. 事実5と事実13から、推論1: "あの写真全体は懐っこい"が導かれる
2. 事実7から、推論2: "あの写真全体は倣う"が導かれる
3. 推論1と推論2から、推論3: "あの写真全体は懐っこいし倣う"が導かれる
4. 推論3から、仮説が否定される

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