「あのもよもわLv.69は涙脆いということはないかそれは工夫する」ということは成り立たない
fact1: 気恥ずかしいモンスターは染み込み易いということはないがしかし宜しい fact2: もし仮にあのもよもわLv.69は工夫しないならば「あのもよもわLv.69は涙脆くないか工夫するか両方ともだ」ということは成り立たない fact3: あのもよもわLv.69は気恥ずかしい fact4: もし仮にあのもよもわLv.69は染み込み易くないけど宜しいとすればそれは工夫しない
fact1 -> int1: 仮に「あのもよもわLv.69は気恥ずかしい」ということは成り立てば染み込み易くないが宜しい; int1 & fact3 -> int2: あのもよもわLv.69は染み込み易くないけど宜しい; int2 & fact4 -> int3: あのもよもわLv.69は工夫しない; int3 & fact2 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> int3: ¬{B}{aa}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 気恥ずかしいモンスターは染み込み易いということはないがしかし宜しい fact2: もし仮にあのもよもわLv.69は工夫しないならば「あのもよもわLv.69は涙脆くないか工夫するか両方ともだ」ということは成り立たない fact3: あのもよもわLv.69は気恥ずかしい fact4: もし仮にあのもよもわLv.69は染み込み易くないけど宜しいとすればそれは工夫しない ; $hypothesis$ = 「あのもよもわLv.69は涙脆いということはないかそれは工夫する」ということは成り立たない ; $proof$ = 
fact1 -> int1: 仮に「あのもよもわLv.69は気恥ずかしい」ということは成り立てば染み込み易くないが宜しい; int1 & fact3 -> int2: あのもよもわLv.69は染み込み易くないけど宜しい; int2 & fact4 -> int3: あのもよもわLv.69は工夫しない; int3 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> int3: ¬{B}{aa}; int3 & fact2 -> hypothesis; __PROVED__