「「あの武士は管理し易くないしそれに探し歩くということはない」ということは事実と異ならない」ということは間違いだ
fact1: もしあの成人型が管理し易くないならあの武士は管理し易くないしおまけに探し歩かない fact2: 何もかもは変え難いということはないかあるいは反軍国主義であるかまたは両方ともだ fact3: 仮にあの教会暦が変え難くないか反軍国主義であるかあるいは両方ともであるとするとあの成人型は管理し易くない
fact2 -> int1: 「あの教会暦は変え難くないかもしくはそれは反軍国主義であるかあるいは両方ともだ」ということは事実である; int1 & fact3 -> int2: あの成人型は管理し易くない; int2 & fact1 -> hypothesis;
fact2 -> int1: (¬{A}{aa} v {B}{aa}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあの成人型が管理し易くないならあの武士は管理し易くないしおまけに探し歩かない fact2: 何もかもは変え難いということはないかあるいは反軍国主義であるかまたは両方ともだ fact3: 仮にあの教会暦が変え難くないか反軍国主義であるかあるいは両方ともであるとするとあの成人型は管理し易くない ; $hypothesis$ = 「「あの武士は管理し易くないしそれに探し歩くということはない」ということは事実と異ならない」ということは間違いだ ; $proof$ = 
fact2 -> int1: 「あの教会暦は変え難くないかもしくはそれは反軍国主義であるかあるいは両方ともだ」ということは事実である; int1 & fact3 -> int2: あの成人型は管理し易くない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしあの成人型が管理し易くないならあの武士は管理し易くないしおまけに探し歩かない
事実2: 何もかもは変え難いということはないかあるいは反軍国主義であるかまたは両方ともだ
事実3: 仮にあの教会暦が変え難くないか反軍国主義であるかあるいは両方ともであるとするとあの成人型は管理し易くない

仮説: 「「あの武士は管理し易くないしそれに探し歩くということはない」ということは事実と異ならない」ということは間違いだ
1. 事実2から、推論1: "「あの教会暦は変え難くないかもしくはそれは反軍国主義であるかあるいは両方ともだ」ということは事実である"が導かれる
2. 推論1と事実3から、推論2: "あの成人型は管理し易くない"が導かれる
3. 推論2と事実1から、仮説が否定される

よって、仮説が否定されました。