その余暇社会は狙撃兵だ
fact1: あの真正面は日本馬だ fact2: この家族用はヒソプである fact3: 仮に何らかの物がヒソプだということはないとすると狙撃兵でない fact4: その余暇社会はヒソプであるしさらに日本馬である fact5: もし仮にその余暇社会が悲しとするとそれは日本馬だ fact6: その余暇社会は混乱するし構図だ fact7: その余暇社会はヒソプであるとしたら「この家族用はヒソプだ」ということは成り立つ fact8: もしもその余暇社会は日本馬だとすると「狙撃兵でない」ということは成り立たない
fact4 -> int1: その余暇社会は日本馬だ; int1 & fact8 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact8 -> hypothesis;
この家族用は狙撃兵である
$facts$ = fact1: あの真正面は日本馬だ fact2: この家族用はヒソプである fact3: 仮に何らかの物がヒソプだということはないとすると狙撃兵でない fact4: その余暇社会はヒソプであるしさらに日本馬である fact5: もし仮にその余暇社会が悲しとするとそれは日本馬だ fact6: その余暇社会は混乱するし構図だ fact7: その余暇社会はヒソプであるとしたら「この家族用はヒソプだ」ということは成り立つ fact8: もしもその余暇社会は日本馬だとすると「狙撃兵でない」ということは成り立たない ; $hypothesis$ = その余暇社会は狙撃兵だ ; $proof$ = 
fact4 -> int1: その余暇社会は日本馬だ; int1 & fact8 -> hypothesis; __PROVED__
事実1: あの真正面は日本馬だ
事実2: この家族用はヒソプである
事実3: 仮に何らかの物がヒソプだということはないとすると狙撃兵でない
事実4: その余暇社会はヒソプであるしさらに日本馬である
事実5: もし仮にその余暇社会が悲しとするとそれは日本馬だ
事実6: その余暇社会は混乱するし構図だ
事実7: その余暇社会はヒソプであるとしたら「この家族用はヒソプだ」ということは成り立つ
事実8: もしもその余暇社会は日本馬だとすると「狙撃兵でない」ということは成り立たない

仮説: その余暇社会は狙撃兵だ
1. 事実4から、推論1: "その余暇社会は日本馬だ"が導かれる
2. 推論1と事実8から、仮説が導かれる

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