この縦縞は潜脱しない
fact1: 仮になにがしかの物が突き出ないならば潜脱するがしかしＵＣＣでない fact2: あの生物濃縮はＵＣＣでない fact3: もし仮にあの生物濃縮が潜脱するがしかしそれが懐っこくないとすればこの縦縞は如才無いということはない fact4: あの生物濃縮は懐っこいがしかしＵＣＣでない fact5: もしもこの会更法がＵＣＣでないとするとあの生物濃縮は懐っこい fact6: 仮にこの会更法がＵＣＣだということはないとしたらあの生物濃縮は懐っこい一方で如才無くない fact7: もし仮にあの生物濃縮が懐っこいがしかし如才無くないとすればこの縦縞は潜脱しない fact8: もしもあの生物濃縮がＵＣＣでないとしたらこの会更法は懐っこいがしかし如才無いということはない fact9: 「あの生物濃縮が突き出ないしまたそれが潜脱しないとすればこの会更法は潜脱しない」ということは成り立つ fact10: その確認応答は懐っこくない fact11: この会更法はＵＣＣでない
fact6 & fact11 -> int1: あの生物濃縮は懐っこいけど如才無くない; int1 & fact7 -> hypothesis;
この縦縞は潜脱する
fact12 -> int2: 仮にこの会更法が突き出ないとすれば潜脱するけれどＵＣＣでない;
$facts$ = fact1: 仮になにがしかの物が突き出ないならば潜脱するがしかしＵＣＣでない fact2: あの生物濃縮はＵＣＣでない fact3: もし仮にあの生物濃縮が潜脱するがしかしそれが懐っこくないとすればこの縦縞は如才無いということはない fact4: あの生物濃縮は懐っこいがしかしＵＣＣでない fact5: もしもこの会更法がＵＣＣでないとするとあの生物濃縮は懐っこい fact6: 仮にこの会更法がＵＣＣだということはないとしたらあの生物濃縮は懐っこい一方で如才無くない fact7: もし仮にあの生物濃縮が懐っこいがしかし如才無くないとすればこの縦縞は潜脱しない fact8: もしもあの生物濃縮がＵＣＣでないとしたらこの会更法は懐っこいがしかし如才無いということはない fact9: 「あの生物濃縮が突き出ないしまたそれが潜脱しないとすればこの会更法は潜脱しない」ということは成り立つ fact10: その確認応答は懐っこくない fact11: この会更法はＵＣＣでない ; $hypothesis$ = この縦縞は潜脱しない ; $proof$ = 
fact6 & fact11 -> int1: あの生物濃縮は懐っこいけど如才無くない; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物が突き出ないならば潜脱するがしかしＵＣＣでない
事実2: あの生物濃縮はＵＣＣでない
事実3: もし仮にあの生物濃縮が潜脱するがしかしそれが懐っこくないとすればこの縦縞は如才無いということはない
事実4: あの生物濃縮は懐っこいがしかしＵＣＣでない
事実5: もしもこの会更法がＵＣＣでないとするとあの生物濃縮は懐っこい
事実6: 仮にこの会更法がＵＣＣだということはないとしたらあの生物濃縮は懐っこい一方で如才無くない
事実7: もし仮にあの生物濃縮が懐っこいがしかし如才無くないとすればこの縦縞は潜脱しない
事実8: もしもあの生物濃縮がＵＣＣでないとしたらこの会更法は懐っこいがしかし如才無いということはない
事実9: 「あの生物濃縮が突き出ないしまたそれが潜脱しないとすればこの会更法は潜脱しない」ということは成り立つ
事実10: その確認応答は懐っこくない
事実11: この会更法はＵＣＣでない

仮説: この縦縞は潜脱しない
1. 事実6と事実11から、推論1: "あの生物濃縮は懐っこいけど如才無くない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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