「その本最判は会話らしいけどそれは倒れない」ということは偽だ
fact1: 悔しいかまたは見境無くないものは見境無くない fact2: そのレイアウト名は会話らしい fact3: もし「処理す」ものはあれば「そのレイアウト名は肝細胞でないし見境無いということはない」ということは成り立つということはない fact4: 「近似する」物はある fact5: もし仮に「なんらかの物は肝細胞でないしさらに見境無いということはない」ということは成り立たないならば悔しくない fact6: 「その本最判は会話らしいし倒れる」ということは成り立つということはない fact7: 「もし仮にそのレイアウト名が見境無いとすればそのレイアウト名は悔しくない」ということは成り立つ fact8: 仮にそのレイアウト名は悔しくないとしたら「「その本最判は会話らしいけれど倒れない」ということは間違いである」ということは事実だ fact9: もし仮にそのレイアウト名はタクシー・ドライバーだとすると「「悔しい」ということは間違いだ」ということは成り立たない fact10: 仮にあるものは見境無くないなら「それは肝細胞だということはない一方で処理す」ということは間違っている fact11: 仮に「近似する」ものがあるとしたらこのＦＩＮＤ‐ファイルはタクシー・ドライバーでないが形成され易い fact12: 「なにかは処理すということはない」ということは正しいとしたら会話らしいが倒れない fact13: 仮にこのＦＩＮＤ‐ファイルがタクシー・ドライバーでないとするとそのレイアウト名は悔しいかあるいは見境無いということはないかあるいは両方だ fact14: 仮にあるものは見境無くないとすると「それは肝細胞だしさらに処理す」ということは正しくない fact15: 仮にある物は悔しくて会話らしいなら見境無くない fact16: 何かは処理す fact17: もしもなにがしかのものは処理すということはないとしたら「倒れるしまた渋くない」ということは誤りである
fact16 & fact3 -> int1: 「そのレイアウト名は肝細胞でなくておまけに見境無くない」ということは嘘だ; fact5 -> int2: もし「「そのレイアウト名は肝細胞でなくて見境無くない」ということは真実だ」ということは成り立たないなら悔しくない; int1 & int2 -> int3: そのレイアウト名は悔しくない; int3 & fact8 -> hypothesis;
fact16 & fact3 -> int1: ¬(¬{B}{a} & ¬{C}{a}); fact5 -> int2: ¬(¬{B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact8 -> hypothesis;
「この睾丸は倒れるが渋くない」ということは嘘だ
fact21 -> int4: もしこの睾丸は処理すらないとすれば「倒れるし渋くない」ということは間違いである; fact20 -> int5: もしそのレイアウト名は見境無くないなら「肝細胞でないし更にそれは処理す」ということは誤りである; fact19 -> int6: もし仮にそのレイアウト名が悔しいしその上会話らしいとしたら見境無くない;
$facts$ = fact1: 悔しいかまたは見境無くないものは見境無くない fact2: そのレイアウト名は会話らしい fact3: もし「処理す」ものはあれば「そのレイアウト名は肝細胞でないし見境無いということはない」ということは成り立つということはない fact4: 「近似する」物はある fact5: もし仮に「なんらかの物は肝細胞でないしさらに見境無いということはない」ということは成り立たないならば悔しくない fact6: 「その本最判は会話らしいし倒れる」ということは成り立つということはない fact7: 「もし仮にそのレイアウト名が見境無いとすればそのレイアウト名は悔しくない」ということは成り立つ fact8: 仮にそのレイアウト名は悔しくないとしたら「「その本最判は会話らしいけれど倒れない」ということは間違いである」ということは事実だ fact9: もし仮にそのレイアウト名はタクシー・ドライバーだとすると「「悔しい」ということは間違いだ」ということは成り立たない fact10: 仮にあるものは見境無くないなら「それは肝細胞だということはない一方で処理す」ということは間違っている fact11: 仮に「近似する」ものがあるとしたらこのＦＩＮＤ‐ファイルはタクシー・ドライバーでないが形成され易い fact12: 「なにかは処理すということはない」ということは正しいとしたら会話らしいが倒れない fact13: 仮にこのＦＩＮＤ‐ファイルがタクシー・ドライバーでないとするとそのレイアウト名は悔しいかあるいは見境無いということはないかあるいは両方だ fact14: 仮にあるものは見境無くないとすると「それは肝細胞だしさらに処理す」ということは正しくない fact15: 仮にある物は悔しくて会話らしいなら見境無くない fact16: 何かは処理す fact17: もしもなにがしかのものは処理すということはないとしたら「倒れるしまた渋くない」ということは誤りである ; $hypothesis$ = 「その本最判は会話らしいけどそれは倒れない」ということは偽だ ; $proof$ = 
fact16 & fact3 -> int1: 「そのレイアウト名は肝細胞でなくておまけに見境無くない」ということは嘘だ; fact5 -> int2: もし「「そのレイアウト名は肝細胞でなくて見境無くない」ということは真実だ」ということは成り立たないなら悔しくない; int1 & int2 -> int3: そのレイアウト名は悔しくない; int3 & fact8 -> hypothesis; __PROVED__
事実1: 悔しいかまたは見境無くないものは見境無くない
事実2: そのレイアウト名は会話らしい
事実3: もし「処理す」ものはあれば「そのレイアウト名は肝細胞でないし見境無いということはない」ということは成り立つということはない
事実4: 「近似する」物はある
事実5: もし仮に「なんらかの物は肝細胞でないしさらに見境無いということはない」ということは成り立たないならば悔しくない
事実6: 「その本最判は会話らしいし倒れる」ということは成り立つということはない
事実7: 「もし仮にそのレイアウト名が見境無いとすればそのレイアウト名は悔しくない」ということは成り立つ
事実8: 仮にそのレイアウト名は悔しくないとしたら「「その本最判は会話らしいけれど倒れない」ということは間違いである」ということは事実だ
事実9: もし仮にそのレイアウト名はタクシー・ドライバーだとすると「「悔しい」ということは間違いだ」ということは成り立たない
事実10: 仮にあるものは見境無くないなら「それは肝細胞だということはない一方で処理す」ということは間違っている
事実11: 仮に「近似する」ものがあるとしたらこのＦＩＮＤ‐ファイルはタクシー・ドライバーでないが形成され易い
事実12: 「なにかは処理すということはない」ということは正しいとしたら会話らしいが倒れない
事実13: 仮にこのＦＩＮＤ‐ファイルがタクシー・ドライバーでないとするとそのレイアウト名は悔しいかあるいは見境無いということはないかあるいは両方だ
事実14: 仮にあるものは見境無くないとすると「それは肝細胞だしさらに処理す」ということは正しくない
事実15: 仮にある物は悔しくて会話らしいなら見境無くない
事実16: 何かは処理す
事実17: もしもなにがしかのものは処理すということはないとしたら「倒れるしまた渋くない」ということは誤りである

仮説: 「その本最判は会話らしいけどそれは倒れない」ということは偽だ
1. 事実16と事実3から、推論1: "「そのレイアウト名は肝細胞でなくておまけに見境無くない」ということは嘘だ"が導かれる
2. 事実5から、推論2: "もし「「そのレイアウト名は肝細胞でなくて見境無くない」ということは真実だ」ということは成り立たないなら悔しくない"が導かれる
3. 推論1と推論2から、推論3: "そのレイアウト名は悔しくない"が導かれる
4. 推論3と事実8から、仮説が導かれる

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