「その対象線は艶めかしいかあるいはそれは恋心でないかもしくは両方ともである」ということは事実と異なる
fact1: 「その対象線は物凄ーいかあるいは繰り出すということはないかあるいはどちらもだ」ということは成り立たない fact2: 「この産出物は艶めかしいかまたはそれはあざとくないかあるいは両方である」ということは成り立たない fact3: 「その対象線は変革刷新であるかまたはそれは今世紀でないかもしくはどちらもである」ということは嘘である fact4: 仮に「そのテリーヌ型は間違い無くないしかつ多目的でない」ということは成り立たないとするとその対象線は間違い無くない fact5: 「あのＭＩＤＩトラックは狭帯域であるか恋心でない」ということは誤りだ fact6: この成瀬作品は特別番組であるけど眠たくない fact7: 消化吸収され易いものは補える fact8: 「この心筋梗塞例は恋心であるか鋭くない」ということは成り立たない fact9: その分類額は艶めかしくない fact10: この成瀬作品が特別番組だが眠たくないとするとそのテリーヌ型は眠たいということはない fact11: 仮に何らかのものは眠たくないならば「間違い無いということはなくてまたそれは多目的でない」ということは成り立たない fact12: その対象線が間違い無くないならそれは消化吸収され易くて舎監だ fact13: 「あの規律違反は恋心であるかもしくはそれは居宅介護住宅改修費だということはない」ということは成り立たない fact14: 「その対象線は艶めかしいかあるいは恋心でないか両方ともである」ということは偽だ fact15: 「その対象線は電気火災事故であるか恋心でないかあるいはどちらもだ」ということは誤っている fact16: もし仮にある物が補えるなら下り続ける fact17: その対象線は香しかない fact18: 「その対象線は否定し得るかあるいは防ぎ切れないかもしくは両方だ」ということは誤っている fact19: 「その対象線は女の子同士であるかあるいはそれは恋心でない」ということは成り立たない fact20: 「その対象線はリズム社であるかあるいは素っ飛ばない」ということは間違いだ
fact14 -> hypothesis;
「この心筋梗塞例は艶めかしいかそれは自給しないかどちらもである」ということは成り立たない
fact24 -> int1: もし仮に「その対象線は補える」ということは真実であるとすると下り続ける; fact23 -> int2: その対象線が消化吸収され易いとしたら補える; fact25 -> int3: もしそのテリーヌ型は眠たくないなら「間違い無くないしそれに多目的でない」ということは成り立たない; fact27 & fact21 -> int4: そのテリーヌ型は眠たいということはない; int3 & int4 -> int5: 「そのテリーヌ型は間違い無くなくて多目的でない」ということは成り立たない; fact26 & int5 -> int6: その対象線は間違い無くない; fact22 & int6 -> int7: 「その対象線は消化吸収され易いし舎監だ」ということは成り立つ; int7 -> int8: その対象線は消化吸収され易い; int2 & int8 -> int9: その対象線は補える; int1 & int9 -> int10: その対象線は下り続ける; int10 -> int11: とある物は下り続ける;
$facts$ = fact1: 「その対象線は物凄ーいかあるいは繰り出すということはないかあるいはどちらもだ」ということは成り立たない fact2: 「この産出物は艶めかしいかまたはそれはあざとくないかあるいは両方である」ということは成り立たない fact3: 「その対象線は変革刷新であるかまたはそれは今世紀でないかもしくはどちらもである」ということは嘘である fact4: 仮に「そのテリーヌ型は間違い無くないしかつ多目的でない」ということは成り立たないとするとその対象線は間違い無くない fact5: 「あのＭＩＤＩトラックは狭帯域であるか恋心でない」ということは誤りだ fact6: この成瀬作品は特別番組であるけど眠たくない fact7: 消化吸収され易いものは補える fact8: 「この心筋梗塞例は恋心であるか鋭くない」ということは成り立たない fact9: その分類額は艶めかしくない fact10: この成瀬作品が特別番組だが眠たくないとするとそのテリーヌ型は眠たいということはない fact11: 仮に何らかのものは眠たくないならば「間違い無いということはなくてまたそれは多目的でない」ということは成り立たない fact12: その対象線が間違い無くないならそれは消化吸収され易くて舎監だ fact13: 「あの規律違反は恋心であるかもしくはそれは居宅介護住宅改修費だということはない」ということは成り立たない fact14: 「その対象線は艶めかしいかあるいは恋心でないか両方ともである」ということは偽だ fact15: 「その対象線は電気火災事故であるか恋心でないかあるいはどちらもだ」ということは誤っている fact16: もし仮にある物が補えるなら下り続ける fact17: その対象線は香しかない fact18: 「その対象線は否定し得るかあるいは防ぎ切れないかもしくは両方だ」ということは誤っている fact19: 「その対象線は女の子同士であるかあるいはそれは恋心でない」ということは成り立たない fact20: 「その対象線はリズム社であるかあるいは素っ飛ばない」ということは間違いだ ; $hypothesis$ = 「その対象線は艶めかしいかあるいはそれは恋心でないかもしくは両方ともである」ということは事実と異なる ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「その対象線は物凄ーいかあるいは繰り出すということはないかあるいはどちらもだ」ということは成り立たない
事実2: 「この産出物は艶めかしいかまたはそれはあざとくないかあるいは両方である」ということは成り立たない
事実3: 「その対象線は変革刷新であるかまたはそれは今世紀でないかもしくはどちらもである」ということは嘘である
事実4: 仮に「そのテリーヌ型は間違い無くないしかつ多目的でない」ということは成り立たないとするとその対象線は間違い無くない
事実5: 「あのＭＩＤＩトラックは狭帯域であるか恋心でない」ということは誤りだ
事実6: この成瀬作品は特別番組であるけど眠たくない
事実7: 消化吸収され易いものは補える
事実8: 「この心筋梗塞例は恋心であるか鋭くない」ということは成り立たない
事実9: その分類額は艶めかしくない
事実10: この成瀬作品が特別番組だが眠たくないとするとそのテリーヌ型は眠たいということはない
事実11: 仮に何らかのものは眠たくないならば「間違い無いということはなくてまたそれは多目的でない」ということは成り立たない
事実12: その対象線が間違い無くないならそれは消化吸収され易くて舎監だ
事実13: 「あの規律違反は恋心であるかもしくはそれは居宅介護住宅改修費だということはない」ということは成り立たない
事実14: 「その対象線は艶めかしいかあるいは恋心でないか両方ともである」ということは偽だ
事実15: 「その対象線は電気火災事故であるか恋心でないかあるいはどちらもだ」ということは誤っている
事実16: もし仮にある物が補えるなら下り続ける
事実17: その対象線は香しかない
事実18: 「その対象線は否定し得るかあるいは防ぎ切れないかもしくは両方だ」ということは誤っている
事実19: 「その対象線は女の子同士であるかあるいはそれは恋心でない」ということは成り立たない
事実20: 「その対象線はリズム社であるかあるいは素っ飛ばない」ということは間違いだ

仮説: 「その対象線は艶めかしいかあるいはそれは恋心でないかもしくは両方ともである」ということは事実と異なる
1. 事実14から、仮説が導かれる

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