この退出は使い辛い
fact1: 仮に宜しないものは十四図でないなら「それは使い辛いということはない」ということは正しい fact2: もしも「宜し」ものはあるとすれば「この成功者は十四図でおまけにそれは生活し易い」ということは事実と異なる fact3: なんらかの物は宜し fact4: 仮に「この退出はアクアクラスターＡＣでないけど宜し」ということは事実と異なるとすると宜しということはない fact5: もし「あの男体禅定は積み荷であるけど両腿でない」ということは正しいとしたらこの退出は使い辛い fact6: もしも「「十四図であるし更に生活し易い」ということは誤っている」ものがあるとするとあのザ・クラッシュはアクアクラスターＡＣだ fact7: もし仮にその学校生活が積み荷であるならばあの男体禅定は積み荷だけれどそれは両腿でない fact8: 仮にあのザ・クラッシュがアクアクラスターＡＣであるとしたらその学校生活は積み荷である
fact3 & fact2 -> int1: 「この成功者は十四図であるしかつそれは生活し易い」ということは確かでない; int1 -> int2: 「「十四図であるしまた生活し易い」ということは成り立たない」物はある; int2 & fact6 -> int3: あのザ・クラッシュはアクアクラスターＡＣだ; int3 & fact8 -> int4: その学校生活は積み荷だ; int4 & fact7 -> int5: あの男体禅定は積み荷だ一方で両腿でない; int5 & fact5 -> hypothesis;
この退出は使い辛くない
fact9 -> int6: もしこの退出が宜しないしその上十四図でないとすると「それは使い辛くない」ということは真実である;
$facts$ = fact1: 仮に宜しないものは十四図でないなら「それは使い辛いということはない」ということは正しい fact2: もしも「宜し」ものはあるとすれば「この成功者は十四図でおまけにそれは生活し易い」ということは事実と異なる fact3: なんらかの物は宜し fact4: 仮に「この退出はアクアクラスターＡＣでないけど宜し」ということは事実と異なるとすると宜しということはない fact5: もし「あの男体禅定は積み荷であるけど両腿でない」ということは正しいとしたらこの退出は使い辛い fact6: もしも「「十四図であるし更に生活し易い」ということは誤っている」ものがあるとするとあのザ・クラッシュはアクアクラスターＡＣだ fact7: もし仮にその学校生活が積み荷であるならばあの男体禅定は積み荷だけれどそれは両腿でない fact8: 仮にあのザ・クラッシュがアクアクラスターＡＣであるとしたらその学校生活は積み荷である ; $hypothesis$ = この退出は使い辛い ; $proof$ = 
fact3 & fact2 -> int1: 「この成功者は十四図であるしかつそれは生活し易い」ということは確かでない; int1 -> int2: 「「十四図であるしまた生活し易い」ということは成り立たない」物はある; int2 & fact6 -> int3: あのザ・クラッシュはアクアクラスターＡＣだ; int3 & fact8 -> int4: その学校生活は積み荷だ; int4 & fact7 -> int5: あの男体禅定は積み荷だ一方で両腿でない; int5 & fact5 -> hypothesis; __PROVED__
事実1: 仮に宜しないものは十四図でないなら「それは使い辛いということはない」ということは正しい
事実2: もしも「宜し」ものはあるとすれば「この成功者は十四図でおまけにそれは生活し易い」ということは事実と異なる
事実3: なんらかの物は宜し
事実4: 仮に「この退出はアクアクラスターＡＣでないけど宜し」ということは事実と異なるとすると宜しということはない
事実5: もし「あの男体禅定は積み荷であるけど両腿でない」ということは正しいとしたらこの退出は使い辛い
事実6: もしも「「十四図であるし更に生活し易い」ということは誤っている」ものがあるとするとあのザ・クラッシュはアクアクラスターＡＣだ
事実7: もし仮にその学校生活が積み荷であるならばあの男体禅定は積み荷だけれどそれは両腿でない
事実8: 仮にあのザ・クラッシュがアクアクラスターＡＣであるとしたらその学校生活は積み荷である

仮説: この退出は使い辛い
1. 事実3と事実2から、推論1: "「この成功者は十四図であるしかつそれは生活し易い」ということは確かでない"が導かれる
2. 推論1から、推論2: "「「十四図であるしまた生活し易い」ということは成り立たない」物はある"が導かれる
3. 推論2と事実6から、推論3: "あのザ・クラッシュはアクアクラスターＡＣだ"が導かれる
4. 推論3と事実8から、推論4: "その学校生活は積み荷だ"が導かれる
5. 推論4と事実7から、推論5: "あの男体禅定は積み荷だ一方で両腿でない"が導かれる
6. 推論5と事実5から、仮説が導かれる

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