このアレルギーは格好悪い
fact1: あの乗客・乗員が姿勢異常であるとしたらあの年増盛りは汚れ易くないししかも観察すらない fact2: 生き易いしかつ格好悪くないものはない fact3: 個別化するけれど生き易くないというものはない fact4: このアレルギーは違い fact5: 個別化するしさらに生き易いというものはない fact6: もし仮に「生き易い」物があるとするとこのアレルギーは格好悪い fact7: 「あの切り下げは個別化するし生き易い」ということは成り立たない fact8: 汚れ易くないものはフェタであるしさらに観察す fact9: 仮に「「「個別化するしその上生き易いない」ということは誤っていない」ということは成り立たない」物があればこのアレルギーは格好悪い fact10: 「「「個別化するしそれに生き易い」ということは本当である」ということは間違いである」物はある fact11: それはぎごちないけど主体だということはないという物はない fact12: もし汚れ易くない物が観察すらないならばこのアレルギーはフェタである fact13: あらゆるものは汚れ易いということはない
fact3 -> int1: 「あの切り下げは個別化するけど生き易くない」ということは誤っている; int1 -> int2: 「「個別化するしその上生き易いない」ということは誤っている」物はある; int2 & fact9 -> hypothesis;
このアレルギーは格好悪いということはない
fact15 -> int3: あの乗客・乗員は汚れ易くない; fact14 -> int4: もしあの乗客・乗員が汚れ易くないとすればフェタだし観察す; int3 & int4 -> int5: あの乗客・乗員がフェタだしその上それは観察す; int5 -> int6: どれもこれもはフェタで更に観察す; int6 -> int7: あの年増盛りはフェタであるしさらに観察す; int7 -> int8: あの年増盛りはフェタである; int8 -> int9: 「フェタである」ものはある;
$facts$ = fact1: あの乗客・乗員が姿勢異常であるとしたらあの年増盛りは汚れ易くないししかも観察すらない fact2: 生き易いしかつ格好悪くないものはない fact3: 個別化するけれど生き易くないというものはない fact4: このアレルギーは違い fact5: 個別化するしさらに生き易いというものはない fact6: もし仮に「生き易い」物があるとするとこのアレルギーは格好悪い fact7: 「あの切り下げは個別化するし生き易い」ということは成り立たない fact8: 汚れ易くないものはフェタであるしさらに観察す fact9: 仮に「「「個別化するしその上生き易いない」ということは誤っていない」ということは成り立たない」物があればこのアレルギーは格好悪い fact10: 「「「個別化するしそれに生き易い」ということは本当である」ということは間違いである」物はある fact11: それはぎごちないけど主体だということはないという物はない fact12: もし汚れ易くない物が観察すらないならばこのアレルギーはフェタである fact13: あらゆるものは汚れ易いということはない ; $hypothesis$ = このアレルギーは格好悪い ; $proof$ = 
fact3 -> int1: 「あの切り下げは個別化するけど生き易くない」ということは誤っている; int1 -> int2: 「「個別化するしその上生き易いない」ということは誤っている」物はある; int2 & fact9 -> hypothesis; __PROVED__
事実1: あの乗客・乗員が姿勢異常であるとしたらあの年増盛りは汚れ易くないししかも観察すらない
事実2: 生き易いしかつ格好悪くないものはない
事実3: 個別化するけれど生き易くないというものはない
事実4: このアレルギーは違い
事実5: 個別化するしさらに生き易いというものはない
事実6: もし仮に「生き易い」物があるとするとこのアレルギーは格好悪い
事実7: 「あの切り下げは個別化するし生き易い」ということは成り立たない
事実8: 汚れ易くないものはフェタであるしさらに観察す
事実9: 仮に「「「個別化するしその上生き易いない」ということは誤っていない」ということは成り立たない」物があればこのアレルギーは格好悪い
事実10: 「「「個別化するしそれに生き易い」ということは本当である」ということは間違いである」物はある
事実11: それはぎごちないけど主体だということはないという物はない
事実12: もし汚れ易くない物が観察すらないならばこのアレルギーはフェタである
事実13: あらゆるものは汚れ易いということはない

仮説: このアレルギーは格好悪い
1. 事実3から、推論1: "「あの切り下げは個別化するけど生き易くない」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「個別化するしその上生き易いない」ということは誤っている」物はある"が導かれる
3. 推論2と事実9から、仮説が導かれる

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