この茶巾はコールドストリーム型である
fact1: もしも「なんらかのものは助け合い絵本でないがしかし塗り込む」ということは真実ならば恨みがましい fact2: 「「押し包まないがしかし四十三団体だ」ということは成り立たない」物はある fact3: もし仮に「「押し包まないけれど四十三団体である」ということは間違いな」物はあるとすると「この茶巾はコールドストリーム型でない」ということは確かだ fact4: もしもなにかは低過ぎるとすれば「それは薄青くないしまたそれは組み合わさる」ということは誤っている fact5: もし仮に「恨みがましい」物があるとしたらこの茶巾はコールドストリーム型だ fact6: もし仮に何かは写り込まないならばそれは助け合い絵本だということはないししかも塗り込む fact7: すべての物は低過ぎる
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この茶巾はコールドストリーム型である
fact8 -> int1: もしもこの膿瘍形成は助け合い絵本でないが塗り込むとしたらそれは恨みがましい; fact10 -> int2: 仮にこの膿瘍形成が写り込まないならばそれは助け合い絵本でないしまた塗り込む; fact11 -> int3: もし「その同時刻は低過ぎる」ということは確かなら「それは薄青くない一方で組み合わさる」ということは本当でない; fact12 -> int4: その同時刻は低過ぎる; int3 & int4 -> int5: 「その同時刻は薄青くないけど組み合わさる」ということは誤りである; int5 -> int6: 薄青いということはないがしかし組み合わさるという物はない; int6 -> int7: 「この膿瘍形成は薄青くないけど組み合わさる」ということは事実と異なる;
$facts$ = fact1: もしも「なんらかのものは助け合い絵本でないがしかし塗り込む」ということは真実ならば恨みがましい fact2: 「「押し包まないがしかし四十三団体だ」ということは成り立たない」物はある fact3: もし仮に「「押し包まないけれど四十三団体である」ということは間違いな」物はあるとすると「この茶巾はコールドストリーム型でない」ということは確かだ fact4: もしもなにかは低過ぎるとすれば「それは薄青くないしまたそれは組み合わさる」ということは誤っている fact5: もし仮に「恨みがましい」物があるとしたらこの茶巾はコールドストリーム型だ fact6: もし仮に何かは写り込まないならばそれは助け合い絵本だということはないししかも塗り込む fact7: すべての物は低過ぎる ; $hypothesis$ = この茶巾はコールドストリーム型である ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも「なんらかのものは助け合い絵本でないがしかし塗り込む」ということは真実ならば恨みがましい
事実2: 「「押し包まないがしかし四十三団体だ」ということは成り立たない」物はある
事実3: もし仮に「「押し包まないけれど四十三団体である」ということは間違いな」物はあるとすると「この茶巾はコールドストリーム型でない」ということは確かだ
事実4: もしもなにかは低過ぎるとすれば「それは薄青くないしまたそれは組み合わさる」ということは誤っている
事実5: もし仮に「恨みがましい」物があるとしたらこの茶巾はコールドストリーム型だ
事実6: もし仮に何かは写り込まないならばそれは助け合い絵本だということはないししかも塗り込む
事実7: すべての物は低過ぎる

仮説: この茶巾はコールドストリーム型である
1. 事実2と事実3から、仮説が否定される

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