「この皿駕籠は虻でないし更に飛ばせらない」ということは事実だ
fact1: もし仮にこの一般道路が虻ならこの皿駕籠は飛ばせるということはない fact2: この皿駕籠は飛ばせらない fact3: 何かは手子摺らないがしかし揚力だ fact4: この嘘は中心静脈圧である fact5: 「「手子摺るということはなくて揚力だ」ということは偽な」物はある fact6: この一般道路が飛ばせらないとすればこの皿駕籠は飛ばせらない fact7: 仮に「「手子摺らないし加えて揚力である」ということは間違いである」物があればその飯盛女は精神障害者社会復帰施設だ fact8: もし「手子摺る」ものがあるとしたらその飯盛女は精神障害者社会復帰施設である fact9: もし仮にこの一般道路が飛ばせるということはないならこの皿駕籠は虻だということはないし更に飛ばせらない fact10: 「「手子摺るしおまけに揚力だ」ということは偽である」ものはある fact11: もしもその飯盛女が精神障害者社会復帰施設ならばこの一般道路は飛ばせらない
fact5 & fact7 -> int1: その飯盛女は精神障害者社会復帰施設だ; int1 & fact11 -> int2: この一般道路は飛ばせらない; int2 & fact9 -> hypothesis;
fact5 & fact7 -> int1: {A}{a}; int1 & fact11 -> int2: ¬{B}{b}; int2 & fact9 -> hypothesis;
$facts$ = fact1: もし仮にこの一般道路が虻ならこの皿駕籠は飛ばせるということはない fact2: この皿駕籠は飛ばせらない fact3: 何かは手子摺らないがしかし揚力だ fact4: この嘘は中心静脈圧である fact5: 「「手子摺るということはなくて揚力だ」ということは偽な」物はある fact6: この一般道路が飛ばせらないとすればこの皿駕籠は飛ばせらない fact7: 仮に「「手子摺らないし加えて揚力である」ということは間違いである」物があればその飯盛女は精神障害者社会復帰施設だ fact8: もし「手子摺る」ものがあるとしたらその飯盛女は精神障害者社会復帰施設である fact9: もし仮にこの一般道路が飛ばせるということはないならこの皿駕籠は虻だということはないし更に飛ばせらない fact10: 「「手子摺るしおまけに揚力だ」ということは偽である」ものはある fact11: もしもその飯盛女が精神障害者社会復帰施設ならばこの一般道路は飛ばせらない ; $hypothesis$ = 「この皿駕籠は虻でないし更に飛ばせらない」ということは事実だ ; $proof$ = 
fact5 & fact7 -> int1: その飯盛女は精神障害者社会復帰施設だ; int1 & fact11 -> int2: この一般道路は飛ばせらない; int2 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にこの一般道路が虻ならこの皿駕籠は飛ばせるということはない
事実2: この皿駕籠は飛ばせらない
事実3: 何かは手子摺らないがしかし揚力だ
事実4: この嘘は中心静脈圧である
事実5: 「「手子摺るということはなくて揚力だ」ということは偽な」物はある
事実6: この一般道路が飛ばせらないとすればこの皿駕籠は飛ばせらない
事実7: 仮に「「手子摺らないし加えて揚力である」ということは間違いである」物があればその飯盛女は精神障害者社会復帰施設だ
事実8: もし「手子摺る」ものがあるとしたらその飯盛女は精神障害者社会復帰施設である
事実9: もし仮にこの一般道路が飛ばせるということはないならこの皿駕籠は虻だということはないし更に飛ばせらない
事実10: 「「手子摺るしおまけに揚力だ」ということは偽である」ものはある
事実11: もしもその飯盛女が精神障害者社会復帰施設ならばこの一般道路は飛ばせらない

仮説: 「この皿駕籠は虻でないし更に飛ばせらない」ということは事実だ
1. 事実5と事実7から、推論1: "その飯盛女は精神障害者社会復帰施設だ"が導かれる
2. 推論1と事実11から、推論2: "この一般道路は飛ばせらない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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