この思慮分別は余所余所しい
fact1: この思慮分別は後らしくない fact2: 護衛兵は余所余所しい fact3: もし「あるものは浮かれるということはないけどＩＴ化する」ということは成り立たないならそれは護衛兵だ fact4: この思慮分別は後らしくないならば「それは浮かれないけどＩＴ化する」ということは成り立たない
fact3 -> int1: もしも「「「この思慮分別は浮かれないがＩＴ化する」ということは正しい」ということは間違っている」ということは嘘でないならば「護衛兵だ」ということは真実だ; fact1 & fact4 -> int2: 「この思慮分別は浮かれないけれどＩＴ化する」ということは成り立つということはない; int1 & int2 -> int3: この思慮分別は護衛兵である; fact2 -> int4: もしもこの思慮分別は護衛兵であるならそれは余所余所しい; int3 & int4 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact2 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
$facts$ = fact1: この思慮分別は後らしくない fact2: 護衛兵は余所余所しい fact3: もし「あるものは浮かれるということはないけどＩＴ化する」ということは成り立たないならそれは護衛兵だ fact4: この思慮分別は後らしくないならば「それは浮かれないけどＩＴ化する」ということは成り立たない ; $hypothesis$ = この思慮分別は余所余所しい ; $proof$ = 
fact3 -> int1: もしも「「「この思慮分別は浮かれないがＩＴ化する」ということは正しい」ということは間違っている」ということは嘘でないならば「護衛兵だ」ということは真実だ; fact1 & fact4 -> int2: 「この思慮分別は浮かれないけれどＩＴ化する」ということは成り立つということはない; int1 & int2 -> int3: この思慮分別は護衛兵である; fact2 -> int4: もしもこの思慮分別は護衛兵であるならそれは余所余所しい; int3 & int4 -> hypothesis; __PROVED__
事実1: この思慮分別は後らしくない
事実2: 護衛兵は余所余所しい
事実3: もし「あるものは浮かれるということはないけどＩＴ化する」ということは成り立たないならそれは護衛兵だ
事実4: この思慮分別は後らしくないならば「それは浮かれないけどＩＴ化する」ということは成り立たない

仮説: この思慮分別は余所余所しい
1. 事実3から、推論1: "もしも「「「この思慮分別は浮かれないがＩＴ化する」ということは正しい」ということは間違っている」ということは嘘でないならば「護衛兵だ」ということは真実だ"が導かれる
2. 事実1と事実4から、推論2: "「この思慮分別は浮かれないけれどＩＴ化する」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "この思慮分別は護衛兵である"が導かれる
4. 事実2から、推論4: "もしもこの思慮分別は護衛兵であるならそれは余所余所しい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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