この戦闘用履帯は考え辛くてそれに掛け難い
fact1: もし仮に「なにがしかの物は掛け難くないしその上詞書でない」ということは成り立たないなら掛け難い fact2: この証券会社は掛け難い fact3: 「掴み難い」ものがあるとしたらこの戦闘用履帯は考え辛い fact4: もし仮にこの戦闘用履帯は掛け難くないとすれば「この大道具は掴み難くなくて考え辛いということはない」ということは成り立たない fact5: もしもそのアントニオ猪牙は高しということはないとすれば「この戦闘用履帯は掛け難いけど詞書でない」ということは成り立たない fact6: もしこの乗機が悲しくないとすると御生まれに成らないし加えて動かし始めない fact7: もし仮にそのアントニオ猪牙は詞書であるということはないならば「「この戦闘用履帯は考え辛くてそれは掛け難い」ということは成り立たない」ということは成り立つ fact8: 「この戦闘用履帯は詞書でない一方でそれは高し」ということは成り立たない fact9: もし「「掴み難いということはない一方で警備する」ということは成り立たない」ものはあるとしたら「この戦闘用履帯は考え辛い」ということは本当である fact10: 仮にそのアントニオ猪牙は高しないとしたら「「この戦闘用履帯は掛け難くないし詞書でない」ということは成り立たない」ということは本当だ fact11: もしこの検体検査がウインドーズマシンでないしまた御早いということはないとすればそのアントニオ猪牙は御早くない fact12: そのアントニオ猪牙は高しということはない fact13: もしもあるものは詞書でないとすれば「それは考え辛くて掛け難い」ということは成り立たない fact14: 「この戦闘用履帯は御早くない」ということは真実である fact15: 「「この大道具は掴み難くない一方で警備する」ということは真実である」ということは嘘である fact16: もし仮にこの乗機が御生まれに成らないとするとあの破れ目は通り難いしそれにそれは離婚等だ fact17: 「この大道具は掴み難くて加えて警備する」ということは事実と異なる fact18: もしもそのアントニオ猪牙が御早くないとしたらこの戦闘用履帯は交ずがしかし高しない fact19: 合わせ易い物はウインドーズマシンでなくてまた御早くない fact20: 「この戦闘用履帯は掛け難いけどそれは詞書でない」ということは成り立つということはない fact21: 「通り難いものは関係深い」ということは間違っていない fact22: 「「掴み難いし警備する」ということは嘘である」物はある fact23: もしもなんらかのものは交ずが高しないとしたらそれは詞書であるということはない fact24: 「掴み難くないしまた警備する」物はある fact25: この乗機は悲しくない
fact15 -> int1: 「「掴み難くないけど警備する」ということは成り立たない」物はある; int1 & fact9 -> int2: この戦闘用履帯は考え辛い; fact1 -> int3: 「「この戦闘用履帯は掛け難くなくておまけに詞書でない」ということは誤っているならこの戦闘用履帯は掛け難い」ということは成り立つ; fact10 & fact12 -> int4: 「この戦闘用履帯は掛け難くないしまた詞書でない」ということは事実と異なる; int3 & int4 -> int5: この戦闘用履帯は掛け難い; int2 & int5 -> hypothesis;
fact15 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact9 -> int2: {A}{a}; fact1 -> int3: ¬(¬{B}{a} & ¬{C}{a}) -> {B}{a}; fact10 & fact12 -> int4: ¬(¬{B}{a} & ¬{C}{a}); int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
「この戦闘用履帯は考え辛くてかつ掛け難い」ということは誤りである
$facts$ = fact1: もし仮に「なにがしかの物は掛け難くないしその上詞書でない」ということは成り立たないなら掛け難い fact2: この証券会社は掛け難い fact3: 「掴み難い」ものがあるとしたらこの戦闘用履帯は考え辛い fact4: もし仮にこの戦闘用履帯は掛け難くないとすれば「この大道具は掴み難くなくて考え辛いということはない」ということは成り立たない fact5: もしもそのアントニオ猪牙は高しということはないとすれば「この戦闘用履帯は掛け難いけど詞書でない」ということは成り立たない fact6: もしこの乗機が悲しくないとすると御生まれに成らないし加えて動かし始めない fact7: もし仮にそのアントニオ猪牙は詞書であるということはないならば「「この戦闘用履帯は考え辛くてそれは掛け難い」ということは成り立たない」ということは成り立つ fact8: 「この戦闘用履帯は詞書でない一方でそれは高し」ということは成り立たない fact9: もし「「掴み難いということはない一方で警備する」ということは成り立たない」ものはあるとしたら「この戦闘用履帯は考え辛い」ということは本当である fact10: 仮にそのアントニオ猪牙は高しないとしたら「「この戦闘用履帯は掛け難くないし詞書でない」ということは成り立たない」ということは本当だ fact11: もしこの検体検査がウインドーズマシンでないしまた御早いということはないとすればそのアントニオ猪牙は御早くない fact12: そのアントニオ猪牙は高しということはない fact13: もしもあるものは詞書でないとすれば「それは考え辛くて掛け難い」ということは成り立たない fact14: 「この戦闘用履帯は御早くない」ということは真実である fact15: 「「この大道具は掴み難くない一方で警備する」ということは真実である」ということは嘘である fact16: もし仮にこの乗機が御生まれに成らないとするとあの破れ目は通り難いしそれにそれは離婚等だ fact17: 「この大道具は掴み難くて加えて警備する」ということは事実と異なる fact18: もしもそのアントニオ猪牙が御早くないとしたらこの戦闘用履帯は交ずがしかし高しない fact19: 合わせ易い物はウインドーズマシンでなくてまた御早くない fact20: 「この戦闘用履帯は掛け難いけどそれは詞書でない」ということは成り立つということはない fact21: 「通り難いものは関係深い」ということは間違っていない fact22: 「「掴み難いし警備する」ということは嘘である」物はある fact23: もしもなんらかのものは交ずが高しないとしたらそれは詞書であるということはない fact24: 「掴み難くないしまた警備する」物はある fact25: この乗機は悲しくない ; $hypothesis$ = この戦闘用履帯は考え辛くてそれに掛け難い ; $proof$ = 
fact15 -> int1: 「「掴み難くないけど警備する」ということは成り立たない」物はある; int1 & fact9 -> int2: この戦闘用履帯は考え辛い; fact1 -> int3: 「「この戦闘用履帯は掛け難くなくておまけに詞書でない」ということは誤っているならこの戦闘用履帯は掛け難い」ということは成り立つ; fact10 & fact12 -> int4: 「この戦闘用履帯は掛け難くないしまた詞書でない」ということは事実と異なる; int3 & int4 -> int5: この戦闘用履帯は掛け難い; int2 & int5 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかの物は掛け難くないしその上詞書でない」ということは成り立たないなら掛け難い
事実2: この証券会社は掛け難い
事実3: 「掴み難い」ものがあるとしたらこの戦闘用履帯は考え辛い
事実4: もし仮にこの戦闘用履帯は掛け難くないとすれば「この大道具は掴み難くなくて考え辛いということはない」ということは成り立たない
事実5: もしもそのアントニオ猪牙は高しということはないとすれば「この戦闘用履帯は掛け難いけど詞書でない」ということは成り立たない
事実6: もしこの乗機が悲しくないとすると御生まれに成らないし加えて動かし始めない
事実7: もし仮にそのアントニオ猪牙は詞書であるということはないならば「「この戦闘用履帯は考え辛くてそれは掛け難い」ということは成り立たない」ということは成り立つ
事実8: 「この戦闘用履帯は詞書でない一方でそれは高し」ということは成り立たない
事実9: もし「「掴み難いということはない一方で警備する」ということは成り立たない」ものはあるとしたら「この戦闘用履帯は考え辛い」ということは本当である
事実10: 仮にそのアントニオ猪牙は高しないとしたら「「この戦闘用履帯は掛け難くないし詞書でない」ということは成り立たない」ということは本当だ
事実11: もしこの検体検査がウインドーズマシンでないしまた御早いということはないとすればそのアントニオ猪牙は御早くない
事実12: そのアントニオ猪牙は高しということはない
事実13: もしもあるものは詞書でないとすれば「それは考え辛くて掛け難い」ということは成り立たない
事実14: 「この戦闘用履帯は御早くない」ということは真実である
事実15: 「「この大道具は掴み難くない一方で警備する」ということは真実である」ということは嘘である
事実16: もし仮にこの乗機が御生まれに成らないとするとあの破れ目は通り難いしそれにそれは離婚等だ
事実17: 「この大道具は掴み難くて加えて警備する」ということは事実と異なる
事実18: もしもそのアントニオ猪牙が御早くないとしたらこの戦闘用履帯は交ずがしかし高しない
事実19: 合わせ易い物はウインドーズマシンでなくてまた御早くない
事実20: 「この戦闘用履帯は掛け難いけどそれは詞書でない」ということは成り立つということはない
事実21: 「通り難いものは関係深い」ということは間違っていない
事実22: 「「掴み難いし警備する」ということは嘘である」物はある
事実23: もしもなんらかのものは交ずが高しないとしたらそれは詞書であるということはない
事実24: 「掴み難くないしまた警備する」物はある
事実25: この乗機は悲しくない

仮説: この戦闘用履帯は考え辛くてそれに掛け難い
1. 事実15から、推論1: "「「掴み難くないけど警備する」ということは成り立たない」物はある"が導かれる
2. 推論1と事実9から、推論2: "この戦闘用履帯は考え辛い"が導かれる
3. 事実1から、推論3: "「「この戦闘用履帯は掛け難くなくておまけに詞書でない」ということは誤っているならこの戦闘用履帯は掛け難い」ということは成り立つ"が導かれる
4. 事実10と事実12から、推論4: "「この戦闘用履帯は掛け難くないしまた詞書でない」ということは事実と異なる"が導かれる
5. 推論3と推論4から、推論5: "この戦闘用履帯は掛け難い"が導かれる
6. 推論2と推論5から、仮説が導かれる

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