「その栽培は平ったいし著しい」ということは偽だ
fact1: この本鮪は平ったくないとしたら「その栽培は平ったいし著しい」ということは間違いだ fact2: もし何かは笑い過ぎないとすればそれは平ったくないしそれに休日曜でない fact3: もしもその栽培が平ったいとするとそれは当て付けがましかない fact4: 「この閉塞性肺障害は休日曜でないかもしくはそれは著しいかもしくは両方ともだ」ということは間違っているとしたらその栽培は笑い過ぎる fact5: この閉塞性肺障害は平ったいということはない fact6: 当て付けがましい物は平ったくない fact7: あの譲歩は平ったい fact8: 「この閉塞性肺障害は笑い過ぎるしかつ著しい」ということは誤っている fact9: 「「この閉塞性肺障害は笑い過ぎないかまたは休日曜である」ということは成り立つ」ということは誤りだ fact10: 「この閉塞性肺障害は笑い過ぎる」ということは嘘でない fact11: もし「当て付けがましくらない」ものはあるとすると「この指しゃぶりはこそばゆいしおまけに結合し易い」ということは事実と異なる fact12: その栽培は休日曜でその上平ったい fact13: その栽培は当て付けがましかない fact14: もしも「この閉塞性肺障害は笑い過ぎないか休日曜であるかまたはどちらもだ」ということは成り立たないならこの本鮪は当て付けがましい fact15: もし仮に何かは著しいなら当て付けがましかない
fact6 -> int1: この本鮪が当て付けがましいとするとそれは平ったくない; fact9 & fact14 -> int2: この本鮪は当て付けがましい; int1 & int2 -> int3: この本鮪は平ったくない; int3 & fact1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ¬{C}{aa}; fact9 & fact14 -> int2: {A}{aa}; int1 & int2 -> int3: ¬{C}{aa}; int3 & fact1 -> hypothesis;
「この指しゃぶりはこそばゆいしそれは結合し易い」ということは成り立たない
fact17 -> int4: その栽培が著しいとすると当て付けがましかない; fact18 -> int5: もし仮にその栽培が笑い過ぎないとするとそれは平ったくないししかも休日曜でない;
$facts$ = fact1: この本鮪は平ったくないとしたら「その栽培は平ったいし著しい」ということは間違いだ fact2: もし何かは笑い過ぎないとすればそれは平ったくないしそれに休日曜でない fact3: もしもその栽培が平ったいとするとそれは当て付けがましかない fact4: 「この閉塞性肺障害は休日曜でないかもしくはそれは著しいかもしくは両方ともだ」ということは間違っているとしたらその栽培は笑い過ぎる fact5: この閉塞性肺障害は平ったいということはない fact6: 当て付けがましい物は平ったくない fact7: あの譲歩は平ったい fact8: 「この閉塞性肺障害は笑い過ぎるしかつ著しい」ということは誤っている fact9: 「「この閉塞性肺障害は笑い過ぎないかまたは休日曜である」ということは成り立つ」ということは誤りだ fact10: 「この閉塞性肺障害は笑い過ぎる」ということは嘘でない fact11: もし「当て付けがましくらない」ものはあるとすると「この指しゃぶりはこそばゆいしおまけに結合し易い」ということは事実と異なる fact12: その栽培は休日曜でその上平ったい fact13: その栽培は当て付けがましかない fact14: もしも「この閉塞性肺障害は笑い過ぎないか休日曜であるかまたはどちらもだ」ということは成り立たないならこの本鮪は当て付けがましい fact15: もし仮に何かは著しいなら当て付けがましかない ; $hypothesis$ = 「その栽培は平ったいし著しい」ということは偽だ ; $proof$ = 
fact6 -> int1: この本鮪が当て付けがましいとするとそれは平ったくない; fact9 & fact14 -> int2: この本鮪は当て付けがましい; int1 & int2 -> int3: この本鮪は平ったくない; int3 & fact1 -> hypothesis; __PROVED__
事実1: この本鮪は平ったくないとしたら「その栽培は平ったいし著しい」ということは間違いだ
事実2: もし何かは笑い過ぎないとすればそれは平ったくないしそれに休日曜でない
事実3: もしもその栽培が平ったいとするとそれは当て付けがましかない
事実4: 「この閉塞性肺障害は休日曜でないかもしくはそれは著しいかもしくは両方ともだ」ということは間違っているとしたらその栽培は笑い過ぎる
事実5: この閉塞性肺障害は平ったいということはない
事実6: 当て付けがましい物は平ったくない
事実7: あの譲歩は平ったい
事実8: 「この閉塞性肺障害は笑い過ぎるしかつ著しい」ということは誤っている
事実9: 「「この閉塞性肺障害は笑い過ぎないかまたは休日曜である」ということは成り立つ」ということは誤りだ
事実10: 「この閉塞性肺障害は笑い過ぎる」ということは嘘でない
事実11: もし「当て付けがましくらない」ものはあるとすると「この指しゃぶりはこそばゆいしおまけに結合し易い」ということは事実と異なる
事実12: その栽培は休日曜でその上平ったい
事実13: その栽培は当て付けがましかない
事実14: もしも「この閉塞性肺障害は笑い過ぎないか休日曜であるかまたはどちらもだ」ということは成り立たないならこの本鮪は当て付けがましい
事実15: もし仮に何かは著しいなら当て付けがましかない

仮説: 「その栽培は平ったいし著しい」ということは偽だ
1. 事実6から、推論1: "この本鮪が当て付けがましいとするとそれは平ったくない"が導かれる
2. 事実9と事実14から、推論2: "この本鮪は当て付けがましい"が導かれる
3. 推論1と推論2から、推論3: "この本鮪は平ったくない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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