「この媛語は変わり易くないし類型化しない」ということは誤りだ
fact1: この部門間は新学年である fact2: もし「あの相談毎は歩み掛けない」ということは正しいならせせこましくてそれにそれは長細い fact3: もし仮にその卵黄小胞が強調表示であるならこの媛語は借り入れる fact4: この蛇レッドは格好悪くない fact5: そのミニマドレーヌが長細いということはないならばこの媛語は変わり易くないしその上それは類型化しない fact6: もしも「「長細くない」ということは成り立たない」物があるならこの辺数は勘違いし易くない fact7: そのミニマドレーヌは短くない fact8: この部門間が狙い易いならば歩み掛ける fact9: この媛語が強調表示でないとすればそのミニマドレーヌは変わり易いということはないし借り入れない fact10: そのミニマドレーヌは変わり易くないしかつせせこましくないならば格好悪くない fact11: この部門間は狙い易いしさらにタワー型である fact12: この媛語が借り入れないとすればそのミニマドレーヌは変わり易くない fact13: もしもあるものは借り入れるしさらに強調表示ならばそれは勘違いし易くない fact14: この媛語は水臭くない fact15: 仮にこの部門間が歩み掛けるし新学年であるとすればあの相談毎は歩み掛けない fact16: そのミニマドレーヌがせせこましくないとすると格好悪くない fact17: そのミニマドレーヌが強調表示でないならこの媛語は勘違いし易くないし類型化しない fact18: 「もしも勘違いし易くないものが格好悪くないならばそれは長細くない」ということは成り立つ fact19: もし仮にこの辺数が勘違いし易くないとするとそのぺてんは格好悪いかそれは強調表示である fact20: 全ては借り入れるしそれは強調表示だ fact21: 「そのミニマドレーヌはせせこましくない」ということは成り立つ fact22: この媛語は心打つということはないしさらにスニペットでない
fact20 -> int1: そのミニマドレーヌは借り入れるしそれに強調表示だ; fact13 -> int2: もし仮にそのミニマドレーヌが借り入れるしおまけにそれは強調表示であるなら勘違いし易くない; int1 & int2 -> int3: そのミニマドレーヌは勘違いし易いということはない; fact16 & fact21 -> int4: そのミニマドレーヌは格好悪くない; int3 & int4 -> int5: そのミニマドレーヌは勘違いし易くないしさらにそれは格好悪くない; fact18 -> int6: そのミニマドレーヌは勘違いし易くないし格好悪いということはないなら長細くない; int5 & int6 -> int7: そのミニマドレーヌは長細くない; int7 & fact5 -> hypothesis;
「この媛語は変わり易いということはないしかつ類型化しない」ということは真実でない
fact28 -> int8: この部門間は狙い易い; fact29 & int8 -> int9: 「この部門間は歩み掛けない」ということは事実と異なる; int9 & fact25 -> int10: この部門間は歩み掛けるし新学年だ; fact30 & int10 -> int11: あの相談毎は歩み掛けない; fact27 & int11 -> int12: あの相談毎はせせこましくておまけに長細い; int12 -> int13: あの相談毎は長細い; int13 -> int14: 長細いものはある; int14 & fact26 -> int15: 「この辺数は勘違いし易くない」ということは真実である; fact24 & int15 -> int16: そのぺてんは格好悪いかあるいは強調表示であるかあるいは両方である;
$facts$ = fact1: この部門間は新学年である fact2: もし「あの相談毎は歩み掛けない」ということは正しいならせせこましくてそれにそれは長細い fact3: もし仮にその卵黄小胞が強調表示であるならこの媛語は借り入れる fact4: この蛇レッドは格好悪くない fact5: そのミニマドレーヌが長細いということはないならばこの媛語は変わり易くないしその上それは類型化しない fact6: もしも「「長細くない」ということは成り立たない」物があるならこの辺数は勘違いし易くない fact7: そのミニマドレーヌは短くない fact8: この部門間が狙い易いならば歩み掛ける fact9: この媛語が強調表示でないとすればそのミニマドレーヌは変わり易いということはないし借り入れない fact10: そのミニマドレーヌは変わり易くないしかつせせこましくないならば格好悪くない fact11: この部門間は狙い易いしさらにタワー型である fact12: この媛語が借り入れないとすればそのミニマドレーヌは変わり易くない fact13: もしもあるものは借り入れるしさらに強調表示ならばそれは勘違いし易くない fact14: この媛語は水臭くない fact15: 仮にこの部門間が歩み掛けるし新学年であるとすればあの相談毎は歩み掛けない fact16: そのミニマドレーヌがせせこましくないとすると格好悪くない fact17: そのミニマドレーヌが強調表示でないならこの媛語は勘違いし易くないし類型化しない fact18: 「もしも勘違いし易くないものが格好悪くないならばそれは長細くない」ということは成り立つ fact19: もし仮にこの辺数が勘違いし易くないとするとそのぺてんは格好悪いかそれは強調表示である fact20: 全ては借り入れるしそれは強調表示だ fact21: 「そのミニマドレーヌはせせこましくない」ということは成り立つ fact22: この媛語は心打つということはないしさらにスニペットでない ; $hypothesis$ = 「この媛語は変わり易くないし類型化しない」ということは誤りだ ; $proof$ = 
fact20 -> int1: そのミニマドレーヌは借り入れるしそれに強調表示だ; fact13 -> int2: もし仮にそのミニマドレーヌが借り入れるしおまけにそれは強調表示であるなら勘違いし易くない; int1 & int2 -> int3: そのミニマドレーヌは勘違いし易いということはない; fact16 & fact21 -> int4: そのミニマドレーヌは格好悪くない; int3 & int4 -> int5: そのミニマドレーヌは勘違いし易くないしさらにそれは格好悪くない; fact18 -> int6: そのミニマドレーヌは勘違いし易くないし格好悪いということはないなら長細くない; int5 & int6 -> int7: そのミニマドレーヌは長細くない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: この部門間は新学年である
事実2: もし「あの相談毎は歩み掛けない」ということは正しいならせせこましくてそれにそれは長細い
事実3: もし仮にその卵黄小胞が強調表示であるならこの媛語は借り入れる
事実4: この蛇レッドは格好悪くない
事実5: そのミニマドレーヌが長細いということはないならばこの媛語は変わり易くないしその上それは類型化しない
事実6: もしも「「長細くない」ということは成り立たない」物があるならこの辺数は勘違いし易くない
事実7: そのミニマドレーヌは短くない
事実8: この部門間が狙い易いならば歩み掛ける
事実9: この媛語が強調表示でないとすればそのミニマドレーヌは変わり易いということはないし借り入れない
事実10: そのミニマドレーヌは変わり易くないしかつせせこましくないならば格好悪くない
事実11: この部門間は狙い易いしさらにタワー型である
事実12: この媛語が借り入れないとすればそのミニマドレーヌは変わり易くない
事実13: もしもあるものは借り入れるしさらに強調表示ならばそれは勘違いし易くない
事実14: この媛語は水臭くない
事実15: 仮にこの部門間が歩み掛けるし新学年であるとすればあの相談毎は歩み掛けない
事実16: そのミニマドレーヌがせせこましくないとすると格好悪くない
事実17: そのミニマドレーヌが強調表示でないならこの媛語は勘違いし易くないし類型化しない
事実18: 「もしも勘違いし易くないものが格好悪くないならばそれは長細くない」ということは成り立つ
事実19: もし仮にこの辺数が勘違いし易くないとするとそのぺてんは格好悪いかそれは強調表示である
事実20: 全ては借り入れるしそれは強調表示だ
事実21: 「そのミニマドレーヌはせせこましくない」ということは成り立つ
事実22: この媛語は心打つということはないしさらにスニペットでない

仮説: 「この媛語は変わり易くないし類型化しない」ということは誤りだ
1. 事実20から、推論1: "そのミニマドレーヌは借り入れるしそれに強調表示だ"が導かれる
2. 事実13から、推論2: "もし仮にそのミニマドレーヌが借り入れるしおまけにそれは強調表示であるなら勘違いし易くない"が導かれる
3. 推論1と推論2から、推論3: "そのミニマドレーヌは勘違いし易いということはない"が導かれる
4. 事実16と事実21から、推論4: "そのミニマドレーヌは格好悪くない"が導かれる
5. 推論3と推論4から、推論5: "そのミニマドレーヌは勘違いし易くないしさらにそれは格好悪くない"が導かれる
6. 事実18から、推論6: "そのミニマドレーヌは勘違いし易くないし格好悪いということはないなら長細くない"が導かれる
7. 推論5と推論6から、推論7: "そのミニマドレーヌは長細くない"が導かれる
8. 推論7と事実5から、仮説が否定される

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