「この牧牛は卵黄成分であるし厳つい」ということは成り立たない
fact1: この牧牛は厳つい fact2: 仮に「懐中しない」物があればこの牧牛は卵黄成分であるしそれは厳つい fact3: もしもあの複製位置は太いということはないならば「この牧牛は卵黄成分であるしかつ厳つい」ということは成り立つということはない fact4: 仮に「なんらかの物は太くない」ということは本当であるとすればこの牧牛は懐中するし卵黄成分だ fact5: 「太くない」ものはある fact6: この牧牛は懐中する fact7: あの坩堝はクニクリでまた卵黄成分だ fact8: 厳つかないものはある fact9: なにがしかのものは太い fact10: もしもあの現場が撓らないけど懐中するとするとあの複製位置は太くない fact11: 仮になにかは太くないならば「この牧牛は懐中する」ということは本当である fact12: この未来論が無能力者だしそれは卵黄成分である
fact5 & fact4 -> int1: この牧牛は懐中するし更にそれは卵黄成分だ; int1 -> int2: この牧牛は卵黄成分である; int2 & fact1 -> hypothesis;
fact5 & fact4 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
「「この牧牛が卵黄成分だしその上それは厳つい」ということは誤りである」ということは成り立つ
$facts$ = fact1: この牧牛は厳つい fact2: 仮に「懐中しない」物があればこの牧牛は卵黄成分であるしそれは厳つい fact3: もしもあの複製位置は太いということはないならば「この牧牛は卵黄成分であるしかつ厳つい」ということは成り立つということはない fact4: 仮に「なんらかの物は太くない」ということは本当であるとすればこの牧牛は懐中するし卵黄成分だ fact5: 「太くない」ものはある fact6: この牧牛は懐中する fact7: あの坩堝はクニクリでまた卵黄成分だ fact8: 厳つかないものはある fact9: なにがしかのものは太い fact10: もしもあの現場が撓らないけど懐中するとするとあの複製位置は太くない fact11: 仮になにかは太くないならば「この牧牛は懐中する」ということは本当である fact12: この未来論が無能力者だしそれは卵黄成分である ; $hypothesis$ = 「この牧牛は卵黄成分であるし厳つい」ということは成り立たない ; $proof$ = 
fact5 & fact4 -> int1: この牧牛は懐中するし更にそれは卵黄成分だ; int1 -> int2: この牧牛は卵黄成分である; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: この牧牛は厳つい
事実2: 仮に「懐中しない」物があればこの牧牛は卵黄成分であるしそれは厳つい
事実3: もしもあの複製位置は太いということはないならば「この牧牛は卵黄成分であるしかつ厳つい」ということは成り立つということはない
事実4: 仮に「なんらかの物は太くない」ということは本当であるとすればこの牧牛は懐中するし卵黄成分だ
事実5: 「太くない」ものはある
事実6: この牧牛は懐中する
事実7: あの坩堝はクニクリでまた卵黄成分だ
事実8: 厳つかないものはある
事実9: なにがしかのものは太い
事実10: もしもあの現場が撓らないけど懐中するとするとあの複製位置は太くない
事実11: 仮になにかは太くないならば「この牧牛は懐中する」ということは本当である
事実12: この未来論が無能力者だしそれは卵黄成分である

仮説: 「この牧牛は卵黄成分であるし厳つい」ということは成り立たない
1. 事実5と事実4から、推論1: "この牧牛は懐中するし更にそれは卵黄成分だ"が導かれる
2. 推論1から、推論2: "この牧牛は卵黄成分である"が導かれる
3. 推論2と事実1から、仮説が否定される

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