その初孫は異常時だけれどブラッシングしない
fact1: その理論武装は物品販売業である fact2: あの秒速は物品販売業だ fact3: もしこのアドミニストレーターが刷り込むとすると取り出し易くない fact4: この一階部分は物品販売業だ fact5: 「この根回しが所らしいならこの根回しは作り難くない」ということは成り立つ fact6: その初孫が異常時だとすればこのアドミニストレーターは異常時だ fact7: 物品販売業は異常時だがしかしブラッシングしない fact8: 仮になにかは物品販売業であるとしたら異常時だ fact9: 仮にその初孫が惜しいとすればブラッシングするということはない fact10: もし「このアドミニストレーターは物品販売業だ」ということは本当だとしたらそれは異常時である一方でブラッシングしない fact11: このアドミニストレーターは物品販売業だ fact12: 仮に「このアドミニストレーターはブラッシングする」ということは本当であるとしたら「物品販売業だし異常時でない」ということは成り立つ fact13: 温い物は気付き易くない fact14: もしその初孫が朝凪だとしたらそれは異常時でない fact15: その初孫は初々しい fact16: このアドミニストレーターは異常時である fact17: このアドミニストレーターが物品販売業ならその初孫は物品販売業である fact18: このアドミニストレーターはブラッシングしない
fact7 -> int1: その初孫は物品販売業であるならば異常時であるけれどブラッシングするということはない; fact11 & fact17 -> int2: その初孫は物品販売業だ; int1 & int2 -> hypothesis;
fact7 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact11 & fact17 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: その理論武装は物品販売業である fact2: あの秒速は物品販売業だ fact3: もしこのアドミニストレーターが刷り込むとすると取り出し易くない fact4: この一階部分は物品販売業だ fact5: 「この根回しが所らしいならこの根回しは作り難くない」ということは成り立つ fact6: その初孫が異常時だとすればこのアドミニストレーターは異常時だ fact7: 物品販売業は異常時だがしかしブラッシングしない fact8: 仮になにかは物品販売業であるとしたら異常時だ fact9: 仮にその初孫が惜しいとすればブラッシングするということはない fact10: もし「このアドミニストレーターは物品販売業だ」ということは本当だとしたらそれは異常時である一方でブラッシングしない fact11: このアドミニストレーターは物品販売業だ fact12: 仮に「このアドミニストレーターはブラッシングする」ということは本当であるとしたら「物品販売業だし異常時でない」ということは成り立つ fact13: 温い物は気付き易くない fact14: もしその初孫が朝凪だとしたらそれは異常時でない fact15: その初孫は初々しい fact16: このアドミニストレーターは異常時である fact17: このアドミニストレーターが物品販売業ならその初孫は物品販売業である fact18: このアドミニストレーターはブラッシングしない ; $hypothesis$ = その初孫は異常時だけれどブラッシングしない ; $proof$ = 
fact7 -> int1: その初孫は物品販売業であるならば異常時であるけれどブラッシングするということはない; fact11 & fact17 -> int2: その初孫は物品販売業だ; int1 & int2 -> hypothesis; __PROVED__
事実1: その理論武装は物品販売業である
事実2: あの秒速は物品販売業だ
事実3: もしこのアドミニストレーターが刷り込むとすると取り出し易くない
事実4: この一階部分は物品販売業だ
事実5: 「この根回しが所らしいならこの根回しは作り難くない」ということは成り立つ
事実6: その初孫が異常時だとすればこのアドミニストレーターは異常時だ
事実7: 物品販売業は異常時だがしかしブラッシングしない
事実8: 仮になにかは物品販売業であるとしたら異常時だ
事実9: 仮にその初孫が惜しいとすればブラッシングするということはない
事実10: もし「このアドミニストレーターは物品販売業だ」ということは本当だとしたらそれは異常時である一方でブラッシングしない
事実11: このアドミニストレーターは物品販売業だ
事実12: 仮に「このアドミニストレーターはブラッシングする」ということは本当であるとしたら「物品販売業だし異常時でない」ということは成り立つ
事実13: 温い物は気付き易くない
事実14: もしその初孫が朝凪だとしたらそれは異常時でない
事実15: その初孫は初々しい
事実16: このアドミニストレーターは異常時である
事実17: このアドミニストレーターが物品販売業ならその初孫は物品販売業である
事実18: このアドミニストレーターはブラッシングしない

仮説: その初孫は異常時だけれどブラッシングしない
1. 事実7から、推論1: "その初孫は物品販売業であるならば異常時であるけれどブラッシングするということはない"が導かれる
2. 事実11と事実17から、推論2: "その初孫は物品販売業だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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